Repository Index

61,275 visible repositories in the index

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–3 of 3 · Most stars

UniMath / UniMath

Rocq Prover 1K 187

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

Python 442 123

A High-Level Abstraction Framework for Quantum Algorithms

Rocq Prover 170 42

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]