Default Branch

dev

3744cfaa96 · Merge pull request 'feat: Print value of arbitrary mvar and goals in goal state' (#141) from goal/print into dev · Updated 2024-12-11 16:52:19 -08:00

Branches

b42d917aa7 · fix: Unnecessary instantiation call · Updated 2024-12-16 15:18:27 -08:00    aniva

0
1
#148 Open

53bad1c4c9 · refactor: Remove obsolete sanitize option · Updated 2024-12-15 12:52:08 -08:00    aniva

0
3
#149 Open

13e01b9e62 · Merge branch 'dev' into misc/version · Updated 2024-12-11 20:53:32 -08:00    aniva

0
3
#134 Open

bb445f4d73 · chore: Update version · Updated 2024-12-11 16:38:59 -08:00    aniva

8
0
#146 Merged

f111da7de7 · doc: Add limitations · Updated 2024-12-11 15:09:14 -08:00    aniva

7
0
#145 Merged

bfdc7dd39e · doc: Fix code environment · Updated 2024-12-05 16:02:00 -08:00    aniva

65
0
#129 Merged

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

70
0

773a0afbd8 · feat: Handling of universe level names in elab · Updated 2024-06-11 12:44:42 -07:00

262
0
#79 Closed

622aa7f969 · Add documentation; Remove mathlib dependency · Updated 2023-06-09 14:45:45 -07:00

487
0
Included