kunigami/mockingbirds_lean kunigami/mockingbirds_lean

  • Stars
    star
    1
  • Language Lean
  • Created over 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kunigami/mockingbirds_lean
github

kunigami

Reviews

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

Repository Details

Solution to the puzzles in "To Mock a Mockingbird" book written in Lean

More Repositories

1

blog-examples

Very simple projects used as examples in my blog posts
Rust
18
star
2

kunigami.github.io

My personal website
Jupyter Notebook
11
star
3

keylogger

A simple key logging application with UI
C++
5
star
4

pynumbers

Number theory library written in python
Python
3
star
5

programming-contests

Codes from programming contests
C++
3
star
6

ocaml-data-structures

Implementation of data structures in OCaml
OCaml
2
star