Logic & Applications

@LogicPractice

Logic and applications of logic from

Joined September 2016

Media

  1. Propositions as Types

  2. Logic in Computer Science, Engineering and Industry

  3. Logic in Computer Science, Engineering and Industry

  4. Propositions as Types

  5. The weird and wonderful world of constructive mathematics [pdf]

  6. I'm restarting FormalFact under the new name . Will not be posting on a regular schedule, probably posting less frequently than I do from my other accounts.

  7. I'm going to retire @FormalFact . Thanks for following. Please check out my other Twitter accounts.

  8. Propositions as Types

  9. More Twitter accounts like @FormalFact at

  10. Propositions as Types

  11. de Bruijn numbering is a way to avoid having to work modulo α-equivalence in lambda calculus.

  12. Propositions as Types

  13. Proof General: Emacs front end for proof assistants

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·