Default Branch

dev 9075ded885 · feat: Set `automaticMode` to true by default · Updated 2024-09-09 17:29:43 -07:00

ZIP  TAR.GZ

Branches

Search

frontend/collect-holes bec84f857b · fix: repl build failure · Updated 2024-09-09 18:43:34 -07:00    aniva	0 9	#99 Open	ZIP  TAR.GZ
goal/tactic 5e99237e09 · fix: Tactics should produce `.syntheticOpaque` goals · Updated 2024-09-08 14:13:39 -07:00    aniva	1 1	#100 Open	ZIP  TAR.GZ
parse/level 773a0afbd8 · feat: Handling of universe level names in elab · Updated 2024-06-11 12:44:42 -07:00	130 0	#79 Closed	ZIP  TAR.GZ
misc/toolchain 431bdab236 · doc: Reason why not to follow nixpkgs · Updated 2024-03-30 00:03:37 -07:00	384 183	#53 Merged	ZIP  TAR.GZ
misc/interaction 79a63be619 · Merge branch 'dev' into misc/interaction · Updated 2023-10-02 10:12:10 -07:00	384 53	#14 Merged	ZIP  TAR.GZ
main 622aa7f969 · Add documentation; Remove mathlib dependency · Updated 2023-06-09 14:45:45 -07:00	355 0	Included	ZIP  TAR.GZ