digama0lean4lean

Lean 4 kernel / 'external checker' written in Lean 4
Displaying 1-1 of 1 packages depending on digama0/lean4lean
Sort by

  1. argumentcomputer/ixuses8865b15

    a zero-knowledge proof-carrying code platform for Lean 4