« first day (112 days earlier)      last day (1019 days later) » 

Dylan Wilson
Dylan Wilson
14:16
hi! glad to see this exists. would this be an appropriate stackexchange to ask questions related to using proof assistants for teaching purposes in a math classroom?
2
 
9 hours later…
Bubbler
Bubbler
22:51
@DylanWilson Certainly yes. Welcome to Proof Assistants SE :)

« first day (112 days earlier)      last day (1019 days later) »