Bas Spitters's repositories
Divided-Difference
Paper and formalization on divided differences
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
blog
hacspec blog
Language:HTML000
Language:MakefileNOASSERTION000
draft-irtf-cfrg-hash-to-curve
Hashing to Elliptic Curves
hacspec
A specification language for cryptography primitives.
Language:RustMIT000
math-classes
A library of abstract interfaces for mathematical structures in Coq.
hacspec.github.io
website for hax & hacspec
000
QuadraticFieldExtensions
Quadratic Extensions of Prime order Fields - Formalization in Coq
Valuations
Synthetic Topology in Homotopy Type Theory for probabilstic programming