Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ssreflect docker coq action
docker-coq-action
x
ssreflect
x
3 search results found
Reglang
⭐
37
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Gaia
⭐
24
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
Regexp Brzozowski
⭐
12
Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
Related Searches
Coq Ssreflect (28)
Mathcomp Ssreflect (28)
Mathcomp Docker Coq Action (3)
Ocaml Docker Coq Action (3)
Algorithms Docker Coq Action (3)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.