remimimimimi/lean4-type-theory remimimimimi/lean4-type-theory

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Lean
  • License
    MIT License
  • Created almost 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
remimimimimi/lean4-type-theory
github

remimimimimi

Reviews

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

Repository Details

Implementation of different type theories in Lean4

More Repositories

1

Idris2-Rust

Idris2 Rust backend
Idris
13
star
2

glue

Kernel language ideas playground (for now).
Common Lisp
11
star
3

ox-kakoune

Port of Ox theme with some changes
4
star
4

lean4-numnn

Simple neural network written from scratch.
Lean
1
star