issues
search
Deducteam
/
Agda2Dedukti
17
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Problems with stdlib translation
#6
thiagofelicissimo
opened
2 years ago
2
Runs tests on pull requests
#5
thiagofelicissimo
closed
2 years ago
2
Continuous integration missing
#4
fblanqui
closed
2 years ago
1
Updates Deducteam's repository with latest version
#3
thiagofelicissimo
closed
2 years ago
16
Which ghc libraries are needed to compile Agda2Dedukti ?
#2
fblanqui
closed
2 years ago
1
Renaming and moving theory files
#1
GuillaumeGen
closed
4 years ago
0