Ana de Almeida Borges's repositories
Language:CoqMIT000
CommonLit-Readability
Kaggle competition for rating the complexity of literary passages for grades 3-12 classroom use.
Language:Jupyter Notebook000
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.
Language:OCamlLGPL-2.1000
Counting-Simulator
A game in which you need to count how many goats are on the screen!
Language:PythonNOASSERTION000
finmap
Finite sets, finite maps, multisets and generic sets
Language:Coq000
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:ShellCC0-1.0000
math-comp
Mathematical Components
000