Tutorial Laboratory - GeoCoq to formalize high-school geometry problems
Domains
Mathematical Software [cs.MS]Origin | Files produced by the author(s) |
---|---|
Licence |
Copyright
|