Beast code in Giters

Jakob von Raumer's repositories

iit

Lean 4 IITs

Language:Lean8 20

msc-thesis

Language:TeXNOASSERTION8 20

indind-agda

Language:Agda6 50

isabelle_algebra

Isabelle Algebra Sandbox

Language:Isabelle4 20

kvvx

KVV Express is an engine redirecting bus and train schedule requests expressed in natural language

2 40

strings-tikz

Tikz String Diagrams for braided monoidal categories

Language:TeXGPL-3.02 10

formal-iit

Language:TeX1 20

mathlib4

Work in progress mathlib port for lean 4

Language:LeanApache-2.0100

strings

String Diagrams for Ring-and-Rope Puzzles

Language:Agda1 30

hott3

HoTT in Lean 3

Language:LeanApache-2.0020

cubes

Cubcial sets in Lean.

Language:Lean020

if-agda

Language:Agda000

lean

Lean Theorem Prover

Language:C++Apache-2.0020

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.0000

lean4-metaprogramming-book

Language:LeanApache-2.0000

leanprover.github.io

www

Language:LeanMIT010

mathlib

Lean mathematical components library

Language:LeanApache-2.0010

presentations

lean-related presentations

Language:HTMLApache-2.0020

sheaves_reading_group

Language:HTML020

std4

Standard Library for Lean 4

Apache-2.0000

szumification

Formalization of Szumification and its correctness

Language:Agda020

tutorial

Lean Tutorials

Language:TeXApache-2.0020

YatimaStdLib.lean

Language:LeanMIT000