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

chore: Update Lean to v4.17.0, version to v0.3 #178

Merged
aniva merged 2 commits from chore/version into dev 2025-03-24 18:05:25 -07:00
Conversation 0 Commits 2 Files Changed 6 +26 -33

2 Commits

Author SHA1 Message Date
Leni Aniva ebf514b92b
chore: Update nix flake 2025-03-24 18:04:34 -07:00
Leni Aniva d305918bb9
chore: Update Lean to v4.17.0 2025-03-24 17:57:34 -07:00