LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Rocq Prover

SFC

Software Foundations

Rocq ProverEmerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
10mo ago

Recent commits

Latest commits.

  • [LEAN] Logic 1
    33855d1Andor Penzes10mo ago
  • [LEAN] Poly
    8873364Andor Penzes10mo ago
  • [LEAN] Lists 4
    0934414Andor Penzes10mo ago
  • [LEAN] Lists 3
    8818e08Andor Penzes10mo ago
  • [LEAN] Lists 2
    e5de308Andor Penzes10mo ago
  • [LEAN] Induction 3
77e06c4Andor Penzes10mo ago
  • [ROCQ] IndProp 1
    c3139daAndor Penzes10mo ago
  • Logic 3
    bfc6d25Andor Penzes10mo ago

    • Top contributors

    Builders behind this project.

    andorp
    39 commits