This repository was archived by the owner on Oct 21, 2024. It is now read-only.
Issues
Search results
- Status: Open.#58 In leanprover/logic_and_proof_lean3;
- Status: Open.#50 In leanprover/logic_and_proof_lean3;
- Status: Open.#44 In leanprover/logic_and_proof_lean3;
- Status: Open.#30 In leanprover/logic_and_proof_lean3;