Evgenia Karunus

lakesare.brick.do

Welcome! This is where I post articles of the form "facts about X". Basically - the kind of posts that are meant to be discovered via google when you are inter...

Popular posts: 1
Total points: 158
HN comments: 28
Rank: #15,319 personal

Visit lakesare.brick.do → On Hacker News Sep 2023 – Sep 2023

Software Engineering 1 Math & Algorithms 1

Most points Most discussed Most cited Newest

Lean, Coq and other proof assistants: Visualising proofs as trees

2023158 points28 comments Math & Algorithms details

This week we (me & Anton Kovsharov) published Paperproof, a Gentzen-tree-like proof interface for Lean 4. In this post I'll review proof visualisations from o...