-
Notifications
You must be signed in to change notification settings - Fork 18
Pull requests: epfl-lara/lisa
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Extract definitions/theorems of functions, add Sigma and Pi
#222
opened Apr 29, 2024 by
shilangyu
Loading…
Running solvers on TPTP + converting kernel proofs to Lisa code
#208
opened Feb 12, 2024 by
augustepoiroux
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.