issues
search
latte-central
/
latte-kernel
The (very) small kernel of the LaTTe proof assistant
MIT License
11
stars
4
forks
source link
Typos fixes and indentation changes according to parinfer
#11
Closed
AustenPrinciple
closed
4 years ago
fredokun
commented
4 years ago
Thanks for these changes
Thanks for these changes