Sebastian Reichelt (@SReichelt)
github

SReichelt

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    26
  • Global Rank 532,162 (Top 19 %)
  • Followers 11
  • Registered over 12 years ago
  • Most used languages
    Lean     40.0 %
    TypeScript
         20.0 %
    Shell
         20.0 %
    Rust
         20.0 %
  • Location 🇩🇪 Germany
  • Country Total Rank 22,354
  • Country Ranking
    Lean     17
    TypeScript
         1,509
    Rust
         2,486
    Shell
         5,180

Top repositories

1

slate

The Slate Interactive Theorem Prover
TypeScript
23
star
2

slate-hlm

HLM mathematical library for the Slate interactive theorem prover
Shell
2
star
3

lean4-experiments

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

universe-abstractions

A Lean 4 project to formalize mathematical universes with added structure
Lean
1
star
5

slate2

Beginnings of reimplementation of slate-prover
Rust
1
star