Amin Timany's starred repositories
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
latex-input
Enter Unicode characters using LaTeX notation
coq-forcing
A plugin for Coq that implements the call-by-name forcing translation