Rare find

archsem. Rocq framework to define the semantics of CPU architectures

github.com/rems-project/archsem

by

@rems-project

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.