Default Branch

dev 1da9180473 · Merge pull request 'feat: State and environment pickling' (#120) from serial/pickle into dev · Updated 2024-11-15 23:10:33 -08:00

ZIP  TAR.GZ

Branches

Search

doc/rationale a51bf6f807 · Merge branch 'dev' into doc/rationale · Updated 2024-11-17 17:38:27 -08:00    aniva	0 4	#123 Open	ZIP  TAR.GZ
serial/pickle 4bfd606e2a · Merge branch 'dev' into serial/pickle · Updated 2024-11-15 23:09:08 -08:00    aniva	1 0	#120 Merged	ZIP  TAR.GZ
goal/tactic ed1f96d7f7 · Merge branch 'dev' into goal/tactic · Updated 2024-10-03 01:38:10 -07:00    aniva	60 0	#100 Merged	ZIP  TAR.GZ
parse/level 773a0afbd8 · feat: Handling of universe level names in elab · Updated 2024-06-11 12:44:42 -07:00	192 0	#79 Closed	ZIP  TAR.GZ
main 622aa7f969 · Add documentation; Remove mathlib dependency · Updated 2023-06-09 14:45:45 -07:00	417 0	Included	ZIP  TAR.GZ