Giters
UniMath
/
Schools
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
74
Watchers:
14
Issues:
14
Forks:
19
UniMath/Schools Issues
Update installation instructions
Updated
2 years ago
Error when running make file; probably Schools points to old version of Coq?
Updated
3 years ago
Comments count
1
Provide solutions for CT exercises
Closed
5 years ago
Comments count
1
Part5 : assert by to be replaced by something else?
Closed
5 years ago
Comments count
2
lecture 2: replace \^ by ^
Closed
5 years ago
Comments count
1
Part1: translate pdf into markdown
Closed
5 years ago
Comments count
1
course material for several parts is missing in this repository
Closed
5 years ago
Compile less of UniMath
Closed
5 years ago
Add installation instructions
Closed
5 years ago
Fix import statement in 2017 lecture 6
Closed
5 years ago
Comments count
1
Cannot step through Workshop files in Emacs
Closed
5 years ago
Comments count
1
Cannot step through Workshop Coq files, II
Closed
5 years ago
Set up Travis
Closed
5 years ago
Comments count
1
Compilation fails
Closed
5 years ago
Comments count
3