antonkov

Anton Kovsharov's blog

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Tag

Lean 1

How to build a proof tree Jan 13, 2024

Recently Updated

How to build a proof tree

Trending Tags

InfoTree Lean metaprogramming paperproof proof tree visualization

© 2024 Anton Kovsharov. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

InfoTree Lean metaprogramming paperproof proof tree visualization

A new version of content is available.