Giters
Deducteam
/
predicativize
A tool for sharing proofs with predicative systems
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
4
Watchers:
2
Issues:
0
Forks:
Deducteam/predicativize Stargazers
GitHub30
Piotr Paradziński
lemastero
aramya
thamugadi
Lîm Tsú-thuàn
dannypsnl