Skip to content
@TypicalMath

TypicalMath

205 Yassemi Dead End, UT

Pinned Loading

  1. cpc cpc Public

    A try to implement the completeness theorem of classical propositional logic

    Coq 2

Repositories

Showing 8 of 8 repositories
  • stl Public

    The Logic of Spacetime in Coq

    TypicalMath/stl’s past year of commit activity
    Coq 0 0 0 0 Updated Jun 16, 2023
  • lambda2 Public

    An implementatino of λ2 system, with some simple properties

    TypicalMath/lambda2’s past year of commit activity
    Coq 0 0 0 0 Updated May 15, 2023
  • cpc Public

    A try to implement the completeness theorem of classical propositional logic

    TypicalMath/cpc’s past year of commit activity
    Coq 0 2 0 1 Updated Apr 10, 2023
  • hilbert-gentzen Public

    Every Hilbert-style proof has a Natural couterpart, and vice versa.

    TypicalMath/hilbert-gentzen’s past year of commit activity
    Coq 0 1 0 0 Updated Jul 25, 2022
  • subst-interpol Public

    Uniform Interpolation for some Substructural Logics (work in progress)

    TypicalMath/subst-interpol’s past year of commit activity
    Coq 2 0 0 0 Updated Apr 12, 2020
  • nat-finset Public

    Re-inventing finite sets (because (learning) ssreflect is overkill)

    TypicalMath/nat-finset’s past year of commit activity
    Coq 0 0 0 0 Updated Dec 25, 2019
  • prop-calc Public

    Propositional Calculus in Coq by Floris van Doorn

    TypicalMath/prop-calc’s past year of commit activity
    Coq 3 0 0 0 Updated Jun 14, 2019
  • TypicalMath/ruitenburg1984’s past year of commit activity
    Coq 0 0 0 0 Updated May 20, 2019

Top languages

Loading…

Most used topics

Loading…