/proof_Q_denumerable

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

Primary LanguageLean

This repository is not active