jesse-michael-han/lean-coffee-can jesse-michael-han/lean-coffee-can

  • Stars
    star
    1
  • Language Lean
  • License
    Apache License 2.0
  • Created about 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jesse-michael-han/lean-coffee-can
github

jesse-michael-han

Reviews

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

Repository Details

More Repositories

1

lean-gptf

Interactive neural theorem proving in Lean
Lean
113
star
2

lean-step-public

Proof artifact co-training for Lean
Lean
36
star
3

lean-tpe-public

The Lean Theorem Proving Environment
Lean
13
star
4

neuro-cadical

CaDiCaL + neural glue variable predictions
Python
9
star
5

lean-parser-combinators

Monadic parser combinators, in Lean
Lean
4
star
6

neurocuber-public

Learning cubing heuristics for SAT from DRAT proofs
Python
4
star
7

lean-demo

Lean
1
star
8

colada-parser

A parser for Colada, a controlled natural language for the calculus of inductive constructions
Haskell
1
star