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