Post #1768647
2026-04-28 19:12 UTC
Me: Using a proof assistant like #lean, we can express all math in an expressive and algorithmically checkable way!
The proof assistant: Consider this simple equation among 3x3 determinants:
Replies (0)
No replies.