-
Notifications
You must be signed in to change notification settings - Fork 20
Pull requests: epfl-lara/lisa
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Running solvers on TPTP + converting kernel proofs to Lisa code
#208
opened Feb 12, 2024 by
augustepoiroux
Loading…
ProTip!
Exclude everything labeled
bug
with -label:bug.