This website requires JavaScript.
Explore
Help
Sign In
rajames
/
LithosAnanke
Watch
1
Star
1
Fork
0
Code
Issues
54
Pull Requests
1
Actions
Packages
Projects
1
Releases
6
Activity
Files
929f0e13c55fc792e19e940db716bf6d58b00a89
LithosAnanke
/
logs
/
20261106-015650
T
History
…
..
isabelle
logs: Isabelle/HOL proof build of
4cef0431
-- passed
2026-11-06 02:05:37 +00:00