undefined | Better HN

0 pointszozbot2344mo ago0 comments

> ... But in some cases, Aristotle can define the structure you are talking about on the fly! ...

Do you have any plans to characterize these cases more fully, and perhaps propose your own contributions to mathlib itself on that basis?

0 comments

tachim4mo ago

There have been many contributions to mathlib from Aristotle already, it’s a major use case for our users

j / k navigate · click thread line to collapse

tachim4mo ago

There have been many contributions to mathlib from Aristotle already, it’s a major use case for our users

j / k navigate · click thread line to collapse