FranckS
Deducteam (INRIA - ENS)
Repositories
Issues
Comments
Results
1
repositories owned by
FranckS
RingIdris
20
Stars
4
Forks
Watchers
Ring solver for Idris
FranckS
