aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 11 Pull Requests 3 Packages Projects Releases Wiki Activity

fix: aux lemmas in env inspect #82

Merged
aniva merged 1 commits from env/inspect into dev 2024-06-23 13:33:35 -07:00
Conversation 0 Commits 1 Files Changed 1 +8 -7

1 Commits

Author SHA1 Message Date
Leni Aniva 8707dbc9bb
fix: aux lemmas in env inspect 2024-06-16 13:44:57 -07:00