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
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 ·
3d ago
Autoformalizers not understanding formal methods (2026, colorized)
15
0
5
Sign in to interact
Loading comments...
