This repository is not active
arthur-adjedj/proof_Q_denumerable
A first attempt at proofs using Lean Theorem prover. The goal here is to prove that Q is denumerable.
Lean
A first attempt at proofs using Lean Theorem prover. The goal here is to prove that Q is denumerable.
Lean
This repository is not active