🐦 SupGen Demo (@VictorTaelin). Very fast symbolic proof finder.

# link, tweet, ai, machine learning