piabrota.art · proof

proof · checked by a prover

Specifications checked by a prover, implementations that follow them name for name, and data experiments with papers. Every HTML page of h0ffmann/proof, built from a pinned commit.

pages
8
diagrams
12
languages
2
lines of Lean 4
1,264
lines of Agda
1,733
lines of Z3
2,475

Contextual bandits

4
proof/contextual-bandits/

Decisions

1
proof/docs/decisions/

port-audit

1
proof/port-audit/

Triangle grids for spectral wave models

1
proof/triangle-grids/

z3-scala

1
proof/z3-scala/

Diagrams

12
proof/docs/diagrams/

The diagrams are drawn by archify and open dark. One index lists them in the repository's own words.

English

Português (BR)