3abc's repositories
qiskit-textbook
A university quantum algorithms/computation course supplement based on Qiskit
Apache-2.0000
mathlib
Lean mathematical components library
Apache-2.0000
natural_number_game
Building the natural numbers in Lean.
Apache-2.0000
Language:Agda000
cubicaltt
Experimental implementation of Cubical Type Theory
Language:HaskellMIT000
latex-input
Enter Unicode characters using LaTeX notation
MIT000