Search results

Wrong module name

Status: Open.

#21 In isovector/certainty-by-construction;

· isovector opened on Jan 1, 2026

Typo

Status: Open.

#20 In isovector/certainty-by-construction;

· isovector opened on Jan 1, 2026

Typo

Status: Open.

#19 In isovector/certainty-by-construction;

· isovector opened on Dec 5, 2025

errata: leak in the memoizer

Status: Open.

#17 In isovector/certainty-by-construction;

· isovector opened on Jul 20, 2025

Minor: Format issues in PDF - in particular the _ in some binary operators

Status: Open.

#14 In isovector/certainty-by-construction;

· joha2 opened on Dec 20, 2023

Missing exercise solution in 4.12

Status: Open.

#12 In isovector/certainty-by-construction;

· SlimTim10 opened on Dec 19, 2023

The ∀ ("forall") symbol isn't properly introduced

Status: Open.

#11 In isovector/certainty-by-construction;

· SlimTim10 opened on Dec 19, 2023

Pandoc can't build this

Status: Open.

#1 In isovector/certainty-by-construction;

· isovector opened on Nov 13, 2022