Pinned Loading
Repositories
Showing 10 of 15 repositories
- cerberus-lean Public Forked from rems-project/cerberus
A fork of Cerberus C adding a Lean 4 port of the semantics
- lem-lean Public Forked from rems-project/lem
A fork of the Lem semantic definition language adding a Lean 4 backend
- kraken Public Forked from AeneasVerif/kraken
assembly-level instruction-set semantics in Lean - EXPERIMENTAL FORK
- grossmith Public
- golean Public
- covmap Public
CLI that maps a spec to the code implementing it, and flags which links break when either side is edited
- lean-ux-proto Public
- linksem-lean Public Forked from rems-project/linksem
Semantic model for aspects of ELF static linking and DWARF debug information - fork adding Lean support
- oathtech.github.io Public
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…
