search

hodovani / hodovani.github.io

A collection of personal notes
https://matvii.hodovani.uk/
13 stars 3 forks source link

How create new rules based on a set of theorems? #29

Closed hodovani closed 2 years ago

hodovani commented 3 years ago

Can this process be automated?