MudroadWhite/Neo-Principia

Continuation on formalizing Principia Mathematica

GitHub repository with 22 stars and 1 forks.

Language: Rocq Prover

Open provider repository

Latest metric snapshot

2026-06-15: 22 stars and 1 forks.

Similar repositories

  1. 1. QinxiangCao/QualifiedCProgramming

    QCP (Qualified C Programming), a C program verification tool

    GitHub repository with 29 stars and 3 forks.

    Trending score: 0.49; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

  2. 2. jasmin-lang/jasmin

    Language for high-assurance and high-speed cryptography

    GitHub repository with 358 stars and 77 forks.

    Trending score: 0.32; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

    Topics: compiler, coq, language

  3. 3. rems-project/archsem

    Rocq framework to define the semantics of CPU architectures

    GitHub repository with 37 stars and 3 forks.

    Trending score: 0.30; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

  4. 4. uds-psl/MPCTT

    Modeling and Proving in Computational Type Theory

    GitHub repository with 124 stars and 13 forks.

    Trending score: 0.21; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

  5. 5. Mtac2/Mtac2

    GitHub repository with 57 stars and 25 forks.

    Trending score: 0.10; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

  6. 6. takanuva/tarski-rocq

    Shrinking induction-recursion... sometimes you just wanna be small!

    GitHub repository with 10 stars and 0 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

Trending in Rocq Prover

  1. 1. QinxiangCao/QualifiedCProgramming

    QCP (Qualified C Programming), a C program verification tool

    GitHub repository with 29 stars and 3 forks.

    Trending score: 0.49; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

  2. 2. jasmin-lang/jasmin

    Language for high-assurance and high-speed cryptography

    GitHub repository with 358 stars and 77 forks.

    Trending score: 0.32; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

    Topics: compiler, coq, language

  3. 3. rems-project/archsem

    Rocq framework to define the semantics of CPU architectures

    GitHub repository with 37 stars and 3 forks.

    Trending score: 0.30; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

  4. 4. uds-psl/MPCTT

    Modeling and Proving in Computational Type Theory

    GitHub repository with 124 stars and 13 forks.

    Trending score: 0.21; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

  5. 5. Mtac2/Mtac2

    GitHub repository with 57 stars and 25 forks.

    Trending score: 0.10; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

  6. 6. takanuva/tarski-rocq

    Shrinking induction-recursion... sometimes you just wanna be small!

    GitHub repository with 10 stars and 0 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Rocq Prover