Lash 1.0 (System Description)
Authors: Chad Brown and Cezary Kaliszyk
Paper Information
| Title: | Lash 1.0 (System Description) |
| Authors: | Chad Brown and Cezary Kaliszyk |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Higher-order logic, Automated reasoning, TPTP |
| Pages: | 9 |
| Talk: | Aug 09 09:20 (Session 100D: Choices, Substitutions and Formalizations) |
| Paper: |  |