Giters
conrad-watt
/
wasm-pl-isabelle
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
4
Watchers:
4
Issues:
1
Forks:
1
This repository is not active
About
License:
BSD 2-Clause "Simplified" License
Languages
Language:
Isabelle
99.7%
Language:
TeX
0.3%