arthur-adjedj/proof_Q_denumerable

Stars
2
Language Lean
Created over 3 years ago
Updated about 3 years ago

arthur-adjedj/proof_Q_denumerable

arthur-adjedj

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

A first attempt at proofs using Lean Theorem prover. The goal here is to prove that Q is denumerable.

LKSolver

A simple experimental solver based on sequent calculus, made for academic purposes

LF

NotPokemon

A simple game written in Scala resembling a familiar franchise