Natural Deduction in Logic (2015) (profs.info.uaic.ro) | HN Screenshots

YHacker Newsscreenshots

Screenshot of profs.info.uaic.ro: Natural Deduction in Logic (2015)

First screen, captured 2 years ago.

Looks similar

Screenshot of swaranotebook.com: Show HN: SwaraNotebook – a notation editor for Indian classical music

Show HN: SwaraNotebook – a notation editor for Indian classical music (swaranotebook.com)

84 points by shark8me 2 years ago | 16 comments

Screenshot of lambda-calculus-interpreter.netlify.app: Lambda Calculus Interpreter

Lambda Calculus Interpreter (lambda-calculus-interpreter.netlify.app)

13 points by evilotto 2 years ago | 9 comments

Screenshot of fingerjigger.com: Fingerjigger

Fingerjigger (fingerjigger.com)

58 points by bookofjoe 1 year ago | 34 comments

Screenshot of ohmjs.org: Ohm Editor

Ohm Editor (ohmjs.org)

30 points by andsoitis 11 months ago | 7 comments

Screenshot of ktye.github.io: Zoo of array languages

Zoo of array languages (ktye.github.io)

160 points by mpweiher 1 year ago | 46 comments

Screenshot of demos.samgentle.com: Show HN: Wolfrominoes

Show HN: Wolfrominoes (demos.samgentle.com)

7 points by sgentle 11 months ago | 1 comments