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

fix: Instantiation causes infinite loop #54

Merged
aniva merged 2 commits from output/expr into dev 2024-03-31 16:43:53 -07:00
Conversation 0 Commits 2 Files Changed 3 +5 -9

2 Commits

Author SHA1 Message Date
Leni Aniva 6235d61433
fix: unfoldAuxLemma should be coreM 2024-03-31 15:40:14 -07:00
Leni Aniva e13b119ed1
fix: Instantiation causes infinite loop 2024-03-30 00:17:16 -07:00