https://github.com/flyspeck/flyspeck
Tip revision: 1ce0353008eba83d3c76ae9a25c3c242e4802d53 authored by Alexey Solovyev on 10 May 2024, 23:31:12 UTC
Merge pull request #6 from monadius/zarith
Merge pull request #6 from monadius/zarith
Tip revision: 1ce0353
File | Mode | Size |
---|---|---|
HOL-SSReflect.zip | -rw-r--r-- | 682.0 KB |
HOL-SSReflect_v1.1.zip | -rw-r--r-- | 679.4 KB |
gui.xml | -rw-r--r-- | 382 bytes |
jHOL-SSReflect.jar | -rw-r--r-- | 372.1 KB |