Search results

Language proposal: Arriving at a contradiction

Status: Open.

#31 In PatrickMassot/verbose-lean4;

· pimotte opened on Apr 17, 2026

Language proposal: ... holds for propositional logic

Status: Open.

#23 In PatrickMassot/verbose-lean4;

· pimotte opened on Mar 3, 2026

Update to recent version

Status: Open.

#22 In PatrickMassot/verbose-lean4;

· pimotte opened on Mar 3, 2026

Coincidence between keywords and identifiers

Status: Open.

#12 In PatrickMassot/verbose-lean4;

· miguelmarco opened on Feb 10, 2025

Make a release

Status: Open.

#9 In PatrickMassot/verbose-lean4;

· jnarboux opened on Dec 26, 2024

'We conclude' sometimes too powerful ?

Status: Open.

#5 In PatrickMassot/verbose-lean4;

· jnarboux opened on Mar 20, 2024

misleading error message about linarith

Status: Open.

#4 In PatrickMassot/verbose-lean4;

· jnarboux opened on Mar 20, 2024

Replace turnstyle ⊢ by something more student friendly

Status: Open.

#3 In PatrickMassot/verbose-lean4;

· jnarboux opened on Mar 20, 2024