Accueil Explorer Aide
Connexion
reduce-algebra
/
reduce-historical
miroir de git://github.com/reduce-algebra/reduce-historical
Suivre 2
Voter 1
Fork 0
Fichiers Tickets
Aborescence: e014152729
Branches Tags
reduce-histo...
/
r38
/
packages
/
geometry
Arthur C. Norman 7560dcb3a3 Some historical releases purely for archival purposes il y a 13 ans
..
README 7560dcb3a3 Some historical releases purely for archival purposes il y a 13 ans
geometry.bib 7560dcb3a3 Some historical releases purely for archival purposes il y a 13 ans
geometry.red 7560dcb3a3 Some historical releases purely for archival purposes il y a 13 ans
geometry.rlg 7560dcb3a3 Some historical releases purely for archival purposes il y a 13 ans
geometry.tex 7560dcb3a3 Some historical releases purely for archival purposes il y a 13 ans
geometry.tst 7560dcb3a3 Some historical releases purely for archival purposes il y a 13 ans
geoprover.html 7560dcb3a3 Some historical releases purely for archival purposes il y a 13 ans
geoprover.red 7560dcb3a3 Some historical releases purely for archival purposes il y a 13 ans
geoprover.rlg 7560dcb3a3 Some historical releases purely for archival purposes il y a 13 ans
geoprover.tst 7560dcb3a3 Some historical releases purely for archival purposes il y a 13 ans
geoprover_1_2.htm 7560dcb3a3 Some historical releases purely for archival purposes il y a 13 ans
supp.red 7560dcb3a3 Some historical releases purely for archival purposes il y a 13 ans

README

This directory contains the Reduce GeoProver Package sources.

GeoProver.red - the main package
GeoProver.tst - a test file (plain ASCII)
supp.red - a supplement used in GeoProver.tst
GeoProver.out - output of the test
GeoProver.html - A help file in HTML