@mevenlennonbertrand@lipn.info
Post #1490209
2026-04-02 18:05 UTC
@lindsey @jonmsterling @zwarich Isabelle and its SML implementation?
Replies (2)
-
@jonmsterling@mathstodon.xyz 2026-04-02 18:06
@mevenlennonbertrand @lindsey @zwarich I’ll have to ask Larry about this next time I see him. The thing I like about Larry is he writes his own fucking blog posts 😂😂😂
-
@zwarich@hachyderm.io 2026-04-02 18:07
@mevenlennonbertrand @lindsey @jonmsterling PolyML in particular: https://www.polyml.org