latte-central LaTTe issues

latte-central / LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)

http://latte-central.github.io/LaTTe/

MIT License

256 stars 13 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Try variants of definitions and theorems

#34 fredokun opened 1 year ago
0
Search facility

#33 fredokun closed 1 year ago
0
existential symbol should be allowed...

#32 fredokun opened 3 years ago
0
Fix Circle CI Badge URL

#31 zampino closed 5 years ago
0
New syntax for implicit type parameters

#30 fredokun closed 5 years ago
0
Syntax for Autoimplicits

#29 zampino closed 5 years ago
1
resync with master

#28 fredokun closed 5 years ago
0
Add Clojure tools deps + Circle CI

#27 zampino closed 5 years ago
0
Auto implicits

#26 fredokun closed 5 years ago
0
Unifications

#25 Bost closed 5 years ago
4
unparser should pack telescoped variables

#24 fredokun opened 5 years ago
0
Generic primitive-kind--to--string mapping

#23 Bost closed 5 years ago
1
Correct minor typo in readme

#22 Kethku closed 5 years ago
1
External kernel

#21 fredokun closed 7 years ago
0
Variadic equalities

#20 Bost closed 5 years ago
3
Variadic alpha-eq?

#19 Bost closed 7 years ago
1
Reserved syms and docu

#18 Bost closed 7 years ago
1
Fix & extend simple_types.clj

#17 Bost closed 7 years ago
2
Add missing '}'

#16 Bost closed 7 years ago
1
git tag 0.6.1-SNAPSHOT missing

#15 Bost closed 7 years ago
1
deep optimization : use local theorems for proof steps, added pose steps for local defs

#14 fredokun closed 7 years ago
0
Dead links to fredokun

#13 ClashTheBunny closed 7 years ago
1
No discharge

#12 fredokun closed 8 years ago
0
Docu improvements

#11 Bost closed 8 years ago
3
a warning (or error?) if a bound variable captures something present in the environment ?

#10 fredokun closed 7 years ago
1
write special for or-elim

#9 fredokun closed 7 years ago
1
Make the code clojurescript Self-host compatible

#8 viebel closed 7 years ago
1
optimization (proof checking)

#7 fredokun closed 8 years ago
1
write specials for and-intro and or-intro-left, or-intro-right

#6 fredokun closed 8 years ago
1
1st attempt to be self-host friendly

#5 viebel closed 8 years ago
0
port the code to be clojurescript and self-host friendly

#4 viebel closed 7 years ago
9
a defspecial definitional element

#3 fredokun closed 8 years ago
1
macro-based parsing

#2 fredokun closed 8 years ago
1
Adopt a slightly more opaque representation for defs, theorems and axioms

#1 fredokun closed 8 years ago
1