Skip to content
@proofcert

proofcert

Popular repositories Loading

  1. fpc-elpi fpc-elpi Public

    AMPL 5

  2. fpccheck fpccheck Public

    AMPL 4 1

  3. checkers checkers Public

    This is not a game.

    AMPL 3 2

  4. pbt pbt Public

    Property-based testing in the FPC framework

    AMPL 2

  5. lkfun lkfun Public

    A purely functional proof checker

    OCaml 1 1

  6. trace-checker trace-checker Public

    a certifier for the trace SAT fomat

    Prolog 1

Repositories

Showing 10 of 11 repositories
  • fpc-elpi Public
    proofcert/fpc-elpi’s past year of commit activity
    AMPL 5 0 0 0 Updated Mar 17, 2025
  • pbt Public

    Property-based testing in the FPC framework

    proofcert/pbt’s past year of commit activity
    AMPL 2 0 0 0 Updated Jan 18, 2024
  • PPAssistant Public

    A generic proof assistant based on Prolog

    proofcert/PPAssistant’s past year of commit activity
    AMPL 1 MIT 0 0 0 Updated Jul 14, 2018
  • checkers Public

    This is not a game.

    proofcert/checkers’s past year of commit activity
    AMPL 3 2 8 0 Updated Mar 13, 2018
  • trace-checker Public

    a certifier for the trace SAT fomat

    proofcert/trace-checker’s past year of commit activity
    Prolog 1 MIT 0 0 0 Updated Aug 30, 2017
  • proofcert.github.io Public
    proofcert/proofcert.github.io’s past year of commit activity
    CSS 0 MIT 0 0 0 Updated Mar 6, 2017
  • maxchecker-snapshot Public
    proofcert/maxchecker-snapshot’s past year of commit activity
    OCaml 0 0 0 0 Updated Mar 6, 2017
  • p9-snapshot Public
    proofcert/p9-snapshot’s past year of commit activity
    OCaml 0 0 0 0 Updated Mar 6, 2017
  • lkf-snapshot Public
    proofcert/lkf-snapshot’s past year of commit activity
    AMPL 1 0 0 0 Updated Mar 6, 2017
  • fpccheck Public
    proofcert/fpccheck’s past year of commit activity
    AMPL 4 1 0 0 Updated Sep 9, 2016
View all repositories

Top languages

Loading…

Most used topics

Loading…