Skip to main content

Lean community blog

Main site
Archive
Tags
About
RSS feed

Posts by Jana Göken

2023-08-26 16:30My Experience at the Machine-Checked Mathematics workshop

Contents © 2024 The Lean prover community - Powered by Nikola