sail

Sail architecture definition language

587 stars

34 watching

102 forks

Language: Isabelle

last commit: 12 days ago

Linked from 1 awesome list

Backlinks from these awesome lists:

coq-community/awesome-coq