Giters
scaspin
/
CS3234
Logic and Formal Systems Labs, Spring 2019 at NUS
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
1
Issues:
0
Forks:
This repository is not active
About
Logic and Formal Systems Labs, Spring 2019 at NUS
Languages
Language:
Prolog
64.4%
Language:
Coq
22.3%
Language:
Rich Text Format
12.4%
Language:
Shell
1.0%