Geeks
clayrat
/
refutation
Refutation and paraconsistent calculi
Primary Language
Idris
refutation GitHub
Markdown
Readme
0
Issues
4
Stargazers
3
Watchers
Stargazers
andrevidela
anton-trunov
TON Foundation
gabriel-fallen
Kontur
ska80
Bishkek, Kyrgyzstan