Beast code in Giters

Sebastian Reichelt's repositories

The Slate Interactive Theorem Prover

Language:TypeScriptMIT23 2 86

HLM mathematical library for the Slate interactive theorem prover

Language:ShellNOASSERTION4 10

Some initial experiments with the Lean 4 theorem prover, exploring possibilities for interaction with HLM.

Language:LeanMIT2 10

Beginnings of reimplementation of slate-prover

Language:RustMIT2 10

Awesome React tooltip

Language:JavaScriptMIT100

A Lean 4 project to formalize mathematical universes with added structure

Language:Lean1 20

Custom changes to Ardour

Language:C++GPL-2.0010

Rust package to parse, reduce, and print expressions of untyped lambda calculus, written for educational purposes.

Language:RustMIT010