Default Branch

dev 59935e386b · Merge pull request 'feat: Draft tactic REPL interface' (#158) from tactic/draft into dev · Updated 2025-01-16 10:32:47 -08:00

ZIP  TAR.GZ

Branches

Search

bug/expr-proj-to-app-panic 5994f0ddf0 · fix: Conditional handling of `.proj` · Updated 2025-01-17 23:10:03 -08:00    aniva	3 1	#161 Open	ZIP  TAR.GZ
env/module bc4bf47c8b · feat: Implement repl interfaces · Updated 2025-01-15 21:23:37 -08:00    aniva	3 3	#159 Open	ZIP  TAR.GZ
io/async 4123792c0c · synced w/ upstream/main (0.2.24) · Updated 2025-01-13 19:14:07 -08:00    aniva	553 226	Compare	ZIP  TAR.GZ
serial/pickle fef7f1e2f3 · feat: Pickle constants in goal state · Updated 2025-01-13 12:43:42 -08:00    aniva	3 1	#157 Open	ZIP  TAR.GZ
env/inspect 4a4b02d7b0 · test: Source location extraction · Updated 2025-01-10 12:47:13 -08:00    aniva	34 0	#154 Merged	ZIP  TAR.GZ
doc/rationale f111da7de7 · doc: Add limitations · Updated 2024-12-11 15:09:14 -08:00    aniva	43 0	#145 Merged	ZIP  TAR.GZ
misc/build 1da9180473 · Merge pull request 'feat: State and environment pickling' (#120) from serial/pickle into dev · Updated 2024-11-15 23:10:33 -08:00    aniva	106 0		ZIP  TAR.GZ
parse/level 773a0afbd8 · feat: Handling of universe level names in elab · Updated 2024-06-11 12:44:42 -07:00	298 0	#79 Closed	ZIP  TAR.GZ
main 622aa7f969 · Add documentation; Remove mathlib dependency · Updated 2023-06-09 14:45:45 -07:00	523 0	Included	ZIP  TAR.GZ