forked from NUS-Program-Verification/LemmaNet
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: dingf3ng/LemmaNet
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[Isabelle 3/3] Wire the backend into the proof agent
#7
opened Aug 24, 2026 by
dingf3ng
Owner
Loading…
[Lean 4 3/3] Wire the backend into the proof agent
#6
opened Aug 24, 2026 by
dingf3ng
Owner
Loading…
[Rocq 3/3] Wire the backend into the proof agent
#5
opened Aug 24, 2026 by
dingf3ng
Owner
•
3/3
Loading…
[Stack root] Define the typed prover backend API
#1
opened Aug 24, 2026 by
dingf3ng
Owner
•
1/3
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-08-08.