MCMaximilius

MCMaximilius's Stars

• llbit/Pigeonhole-Principle

  Solution to the Pigeonhole Principle exercise in Software Foundations, without excluded middle.

  Language:Coq82

• FormalizedFormalLogic/Foundation

  Lean4 Logic Formalization

  Language:Lean805