Skip to main content

Lean community blog

Main site
Archive
Tags
About
RSS feed

Posts by Adam Topaz

2022-10-14 11:00Definitions in the liquid tensor experiment

Contents © 2024 The Lean prover community - Powered by Nikola