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

YHacker Newsscreenshots

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

First screen, captured 1 year ago.

Looks similar

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

Sireum Logika (logika.v3.sireum.org)

40 points by gone35 2 years ago | 2 comments

Screenshot of fizzbee.io: Show HN: FizzBee – Formal methods in Python

Show HN: FizzBee – Formal methods in Python (fizzbee.io)

100 points by jayaprabhakar 2 years ago | 13 comments

Screenshot of pickcode.io: Show HN: New visual language for teaching kids to code

Show HN: New visual language for teaching kids to code (pickcode.io)

389 points by csmeyer 2 years ago | 156 comments

Landing page for Pickcode, a structured visual programming language and editor for teaching kids aged 10-14 to code, with tutorials and courses.

pickcode kids-coding visual-programming structured-editor

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 blorp-lang.org: Blorp Language

Blorp Language (blorp-lang.org)

53 points by croottree 4 months ago | 38 comments

Screenshot of pickcode.io: Show HN: Pickcode – Free online code editor for kids

Show HN: Pickcode – Free online code editor for kids (pickcode.io)

57 points by csmeyer 2 years ago | 13 comments