Sign in
Sign up
EN
EN
English
中
中文
Log in
Register
Modes
Overview
Chat
Timeline
Communities
Gallery
Lists
Friends
Email
Vault
DNS
VPN
Back to Timeline
@markusde
In reply to
@markusde@mathstodon.xyz
@markusde@mathstodon.xyz
Open parent
Who was it that said Lean is the Python of theorem provers again? I would like to quote them in a blog post. Boosts welcome
markusde
@markusde@mathstodon.xyz
I want to live forever so I can post forever
mathstodon.xyz
markusde
markusde
@markusde@mathstodon.xyz
I want to live forever so I can post forever
mathstodon.xyz
@markusde@mathstodon.xyz ·
Mar 20, 2026
@minsung
do you remember where? If anywhere?
0
0
0
Sign in to interact
Loading comments...
