3abc

Pinned Repositories

cubical
Language:Agda00
cubicaltt
Experimental implementation of Cubical Type Theory
Language:Haskell00
GrinPlusPlusUI
Language:TypeScript00
latex-input
Enter Unicode characters using LaTeX notation
Language:AutoHotkey00
mathlib
Lean mathematical components library
Language:Lean00
natural_number_game
Building the natural numbers in Lean.
Language:Lean00
qiskit-textbook
A university quantum algorithms/computation course supplement based on Qiskit
Language:Jupyter Notebook00
cubical
An experimental library for Cubical Agda
Language:Agda449 26 242136
GrinPlusPlusUI
Language:TypeScript15 4 2816
PincongBackup.github.io
品葱备份计划
Language:CSS116 11 528

3abc's Repositories

3abc/cubical
Language:Agda00
3abc/cubicaltt
Experimental implementation of Cubical Type Theory
Language:Haskell00
3abc/GrinPlusPlusUI
Language:TypeScript00
3abc/latex-input
Enter Unicode characters using LaTeX notation
Language:AutoHotkey00
3abc/mathlib
Lean mathematical components library
Language:Lean00
3abc/natural_number_game
Building the natural numbers in Lean.
Language:Lean00
3abc/qiskit-textbook
A university quantum algorithms/computation course supplement based on Qiskit
Language:Jupyter Notebook00