:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics