Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-lint
agda-mode-vscode
agda-mode on VS Code
agda-syntax-vscode
agda-unimath
Univalent mathematics in Agda
dirichlet-numerics
Dirichlet .NET Number Theory Library
hottbook
HoTT Book formalisations in Rzk.
JavaScript-Is-Weird
Code for the JS Is Weird (EXTREME EDITION) video
matematisk_ordliste
Matematisk ordliste
agda-unimath
The agda-unimath library
fredrik-bakke's Repositories
fredrik-bakke/agda-syntax-vscode
fredrik-bakke/agda
Agda is a dependently typed programming language / interactive theorem prover.
fredrik-bakke/agda-lint
fredrik-bakke/agda-mode-vscode
agda-mode on VS Code
fredrik-bakke/agda-unimath
Univalent mathematics in Agda
fredrik-bakke/dirichlet-numerics
Dirichlet .NET Number Theory Library
fredrik-bakke/hottbook
HoTT Book formalisations in Rzk.
fredrik-bakke/JavaScript-Is-Weird
Code for the JS Is Weird (EXTREME EDITION) video
fredrik-bakke/kmall-csharp
An unfinished C# class library for reading and writing Kongsberg .kmall files.
fredrik-bakke/matematisk_ordliste
Matematisk ordliste
fredrik-bakke/mdbook-bib
mdbook plugin allowing to load and present a bibliography in BibLaTex format in your books and cite its references
fredrik-bakke/Parentassigment_OHm
Parentage assignment using opposite homozygote methods.
fredrik-bakke/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
fredrik-bakke/sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
fredrik-bakke/vscode-rzk
Visual Studio Code Extension(s) for rzk proof assistant.
fredrik-bakke/yoneda
comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories