-
Notifications
You must be signed in to change notification settings - Fork 12
Pull requests: hipsleek/hipsleek
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Extend API to destructure frames and provide inference
#61
opened Jan 8, 2025 by
danbaterisna
Collaborator
•
Draft
2 of 3 tasks
added feature to create pdf/TeX files of proof trees created
#50
opened Aug 17, 2020 by
fadisng
Collaborator
Loading…
Force Z3 to not use weaker subsolvers whenever Z3 outputs
unknown
#47
opened Aug 3, 2020 by
zhengqunkoo
Collaborator
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.