Giters
fdilke
/
bewl
A DSL for the internal language of a topos
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
60
Watchers:
10
Issues:
3
Forks:
3
fdilke/bewl Issues
Lean 4 impl?
Updated
6 months ago
Comments count
2
More information about how to run bewl please
Updated
2 years ago
Really cool
Updated
9 months ago
Comments count
4