one teacher made this quite clear, and ensured that we spent as little time as possible having to make completely formal proofs (because they only exist at that level of formality so machines can do…

Posters: natural_hazard. natural_hazard

2 likes recorded by the source corpus.

Topics: Learning

View Post: https://x.com/natural_hazard/status/1243565596345802758