Pinned Repositories
autosubst-ocaml
CommonLit-Readability
Kaggle competition for rating the complexity of literary passages for grades 3-12 classroom use.
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Counting-Simulator
A game in which you need to count how many goats are on the screen!
finmap
Finite sets, finite maps, multisets and generic sets
TreeAutomataFormalization
templates
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
opam-repository
Main public package repository for opam, the source package manager of OCaml.
autosubst-ocaml
ana-borges's Repositories
ana-borges/autosubst-ocaml
ana-borges/CommonLit-Readability
Kaggle competition for rating the complexity of literary passages for grades 3-12 classroom use.
ana-borges/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
ana-borges/Counting-Simulator
A game in which you need to count how many goats are on the screen!
ana-borges/finmap
Finite sets, finite maps, multisets and generic sets
ana-borges/opam-repository
Main public package repository for opam, the source package manager of OCaml.
ana-borges/math-comp
Mathematical Components