Login

Exploring Weather, Waves, and Weird Projects

⏳ Importing talk_sequent_assertion_symbols_in_sequents_do_not_signify_provability_ from Wikipedia...