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:LeanMIT3 10

Beginnings of reimplementation of slate-prover

Language:RustMIT3 10

A Lean 4 project to formalize mathematical universes with added structure

Language:Lean2 20

Awesome React tooltip

Language:JavaScriptMIT100

Custom changes to Ardour

Language:C++GPL-2.0010

Rust proc macro for type-level enums that support matching.

Language:RustMIT010

Language:RustMIT010

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

Language:RustMIT010

NonMinT and NonMaxT types for Rust

Language:RustMIT000

A Rust crate to convert between types with lifetime parameters and corresponding lifetime-erased variants.

Language:RustApache-2.0010