Commit 2021-12-20 08:28 57882b81

View on Github →

bump: nightly-2021-12-19 (#140)

Estimated changes

modified theorem implies_true_iff