SReichelt/slate SReichelt/slate

  • Stars
    star
    23
  • Rank 996,078 (Top 20 %)
  • Language
    TypeScript
  • License
    MIT License
  • Created over 5 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SReichelt/slate
github

SReichelt

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The Slate Interactive Theorem Prover

More Repositories

1

slate-hlm

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

lean4-experiments

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

universe-abstractions

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

slate2

Beginnings of reimplementation of slate-prover
Rust
1
star