Search results

Typos in "QED at Large" paper

Status: Open.

#12 In proofengineering/proofengineering.github.io;

· ligurio opened on Mar 18, 2024

P.109 Last case of <code>r_match</code>

Status: Open.

#11 In proofengineering/proofengineering.github.io;

· UniverseFly opened on Sep 6, 2022

Some minor errors

Status: Open.

#10 In proofengineering/proofengineering.github.io;

· k4rtik opened on Mar 31, 2022

Typo in composition tactical

Status: Open.

#9 In proofengineering/proofengineering.github.io;

· Emanon42 opened on Dec 5, 2021

Feedback from Yves Bertot

Status: Open.

#8 In proofengineering/proofengineering.github.io;

· tlringer opened on Sep 25, 2020

Errors and feedback from Christoph Baumann

Status: Open.

#7 In proofengineering/proofengineering.github.io;

· palmskog opened on Nov 28, 2019