Giters
JPedroSilveira
/
formal-semantics
Formal Semantics (INF-UFRGS)
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
2
Issues:
0
Forks:
formal-semantics
Semântica Formal
Semestre: 2020/2
Professor: Álvaro Freitas Moreira
About
Formal Semantics (INF-UFRGS)
formal-semantics
Languages
Language:
OCaml
100.0%