issues
search
Deducteam
/
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
Other
265
stars
35
forks
source link
Emacs: goal not printed after begin or {
#1122
Open
fblanqui
opened
1 week ago