Giters
nnamon
/
frege
Training Program Validation and Automated Planning
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
2
Issues:
0
Forks:
frege
Training Program Validation and Automated Planning
About
Training Program Validation and Automated Planning
Languages
Language:
CoffeeScript
63.4%
Language:
JavaScript
31.3%
Language:
Python
5.3%