Issues
- 0
Try variants of definitions and theorems
#34 opened by fredokun - 0
existential symbol should be allowed...
#32 opened by fredokun - 1
Syntax for Autoimplicits
#29 opened by zampino - 0
unparser should pack telescoped variables
#24 opened by fredokun - 9
- 1
a warning (or error?) if a bound variable captures something present in the environment ?
#10 opened by fredokun - 1
git tag 0.6.1-SNAPSHOT missing
#15 opened by Bost - 1
write special for or-elim
#9 opened by fredokun - 1
- 1
optimization (proof checking)
#7 opened by fredokun - 1
macro-based parsing
#2 opened by fredokun - 1
a defspecial definitional element
#3 opened by fredokun - 1