user: trissim

1 karma | created 1 month ago

recent submissions

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

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

10 pts|1 month ago|20 comments

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

2 pts|1 month ago|discuss

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

3 pts|1 month ago|discuss

(no title)

1 month ago|discuss

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

2 pts|1 month ago|1 comment