Sireum Logika (logika.v3.sireum.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of logika.v3.sireum.org: Sireum Logika

First screen, captured 2 years ago.

Looks similar

Screenshot of picolisp.com: Everything Picolisp can do, and more

Everything Picolisp can do, and more (picolisp.com)

86 points by damir 1 year ago | 8 comments

Screenshot of getludic.dev: Show HN: Web Development with Htmx, Type-Guided Components, Pure Python

Show HN: Web Development with Htmx, Type-Guided Components, Pure Python (getludic.dev)

80 points by paveldedik 2 years ago | 16 comments

Screenshot of dafny.org: Dafny: Verification-Aware Programming Language

Dafny: Verification-Aware Programming Language (dafny.org)

88 points by handfuloflight 10 months ago | 30 comments

Screenshot of starlark-lang.org: Starlark Programming Language

Starlark Programming Language (starlark-lang.org)

123 points by laurentlb 1 year ago | 112 comments

Screenshot of jsiek.github.io: A proof checker meant for education

A proof checker meant for education (jsiek.github.io)

131 points by alabhyajindal 1 year ago | 29 comments

Screenshot of carnap.io: Carnap – A formal logic framework for Haskell

Carnap – A formal logic framework for Haskell (carnap.io)

97 points by ravenical 10 months ago | 20 comments