@koronkebitch@types.pl cover
@koronkebitch@types.pl avatar

koronkebitch

@koronkebitch@types.pl

something something IU->Galois->UBC
(I'm a PhD student at UBC working on dependent type preserving compilation)

This profile is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.

koronkebitch , to random
@koronkebitch@types.pl avatar

amazing sigbovik paper this year

The Anything Prover: How to prove Anything Reader^1, Christoph W. Senn^2, Carmen Mei Ling Frischknecht-Gruber^3, Kiba^4, and Yukiko^4 1 TBA 2 Tokyo Institute of Technology 3 Zurich University of Applied Sciences 4 University of Applied Barks chrigi.senn@gmail.com Given any statement Q we can prove it using the process used to prove Theorem 0.1. Theorem 0.1. Statement Q Proof. The proof is left as an exercise to the reader. Author Contributions Reader created all theorems and proofs. Christoph Walter Senn typed every 2n+0 word. Carmen Mei Ling Frischknecht-Gruber typed every 2n + 1 word. Kiba played with his squeaky toy. Yukiko oversaw the whole project and barked in approval. References Finding the references is left as an exercise to the reader.
ALT
  • Reply
    • + futurebird
  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • random
  • test
  • worldmews
  • mews
  • All magazines
    •