Block or Report
Block or report telephon
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Coq
All languages
C
C++
Common Lisp
Coq
Dockerfile
Elm
HTML
JavaScript
Julia
Python
Rust
Scheme
Smalltalk
SuperCollider
TeX
TypeScript
Nothing to show
Sort by: Most stars
1
star
written in Coq
Clear filter