13

Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection (zenodo.org)

a day ago trissim zenodo.org

1

Show HN: Knowing What Matters is coNP-complete (Lean 4 formalized) (zenodo.org)

a day ago trissim zenodo.org

1

Show HN: Proof that any fixed-axis type system fails for some domain (Lean4) (zenodo.org)

2 days ago trissim zenodo.org

3

Proof that any fixed-axis type system fails for some domain (formalized in Lean) (zenodo.org)

3 days ago trissim zenodo.org