Default Branch

dev 120eb90291 · Merge pull request 'chore: Update version' (#195) from chore/version into dev · Updated 2025-05-01 10:41:47 -07:00

ZIP  TAR.GZ

Branches

Search

chore/toolchain d41ec67a63 · chore: Update Lean to v4.19.0 · Updated 2025-05-07 06:53:29 -07:00    aniva	0 1	#205 Open	ZIP  TAR.GZ
chore/cleanup eb41c179d1 · feat(repl): Conditional environment inheritance · Updated 2025-05-02 08:40:32 -07:00    aniva	0 3	#202 Open	ZIP  TAR.GZ
repl/elab-option 14b74b612d · fix(repl): Elaborate with `errToSorry` as false by default · Updated 2025-04-10 23:14:00 -07:00    aniva	25 0	#187 Merged	ZIP  TAR.GZ
main 4e44b147e0 · Merge pull request 'chore: Version 0.3' (#136) from dev into main · Updated 2025-04-09 00:23:18 -07:00    aniva	25 0	Included	ZIP  TAR.GZ