rupicola

Gallina to Bedrock2 compilation toolkit

GitHub

49 stars
16 watching
11 forks
Language: Coq
last commit: 11 days ago
coq