kids these days

53 views
Skip to first unread message

Jim Kingdon

unread,
Jun 8, 2023, 10:17:43 PM6/8/23
to metamath
I think this whole "formal proof software" thing just might work out:
https://mathstodon.xyz/@MartinEscardo/110510148351643267

Reply all
Reply to author
Forward
0 new messages