solbloch/theorem-proving-in-lean solbloch/theorem-proving-in-lean

  • Stars
    star
    1
  • Language Lean
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
solbloch/theorem-proving-in-lean
github

solbloch

Reviews

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

Repository Details

Working through Theorem Proving in Lean book.

More Repositories

1

stumpwm-configs

Lots of configuration, need to share between computers.
Common Lisp
7
star
2

lispotify

common lisp spotify wrapper
Common Lisp
3
star
3

3d-vector-lib

Pretty fast 3d-vector library for a little animation.
Common Lisp
3
star
4

acro

Acronym game.
JavaScript
1
star