Registered
by
Tomer L
This project, programmed in Scala, should give a general architecture to deal with logical objects such as proofs.
View full history Series and milestones
trunk series is the current focus of development.
All packages Packages in Distributions
-
gap-grape source package in Oracular
Version 4.9.0+ds-2 uploaded -
gap-grape source package in Noble
Version 4.9.0+ds-1 uploaded -
gap-grape source package in Mantic
Version 4.9.0+ds-1 uploaded -
gap-grape source package in Lunar
Version 4.9.0+ds-1 uploaded -
gap-grape source package in Jammy
Version 4.8.5+ds-2 uploaded
