Tree @
run/16a165f0-1e19-4a80-a132-affde09a2bc1/main
(
Download .tar.gz
)
..
OmegaLemmas.v
PreOmega.v
History of theories
/
omega
@
run/16a165f0-1e19-4a80-a132-affde09a2bc1/main
New upstream version 8.16.0+dfsg
Julien Puydt
1 year, 8 months ago
New upstream version 8.14.0+dfsg
Julien Puydt
2 years ago
New upstream version 8.12.0
Ralf Treinen
3 years ago