issues
search
kryptine
/
ghilbert
Automatically exported from code.google.com/p/ghilbert
Apache License 2.0
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
theorem list: give hypotheses and conclusions, and fix ellipses
#4
GoogleCodeExporter
closed
9 years ago
1
pull request for minor documentation and .gitignore fixes
#3
GoogleCodeExporter
closed
9 years ago
1
RFE for ghilbert spec: Permute hypotheses when applying a theorem
#2
GoogleCodeExporter
opened
9 years ago
2
Code Review for R45
#1
GoogleCodeExporter
closed
9 years ago
1