Default Branch

dev 1402a69eea · Merge pull request 'fix: `env.add` Declarations with universe levels' (#181) from bug/env-add-level into dev · Updated 2025-03-29 15:48:12 -07:00

ZIP  TAR.GZ

Branches

Search

bug/variable-level-names-in-scope cf4a5955e3 · test: Non-matchers are not matchers · Updated 2025-04-03 11:18:17 -07:00    aniva	0 1	#183 Open	ZIP  TAR.GZ
main 622aa7f969 · Add documentation; Remove mathlib dependency · Updated 2023-06-09 14:45:45 -07:00	600 0	Included	ZIP  TAR.GZ