Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
Chris Lakin comments on
Logical Share Splitting
Chris Lakin
17 Sep 2023 20:44 UTC
3
points
0
Related:
https://lean-fro.org/about/
(automated theorem proving FRO)
Back to top
Related: https://lean-fro.org/about/ (automated theorem proving FRO)