Repositories list

• LML

  Public
  A deep-embedding formalization of modal logic in Coq

  PostScript

  •

  BSD 3-Clause "New" or "Revised" License

  •2•8•0•1•Updated Aug 21, 2025Aug 21, 2025

• LFI1_Library

  Public
  Rocq Prover

  •1•0•0•0•Updated Jun 16, 2025Jun 16, 2025