Skip to content

@libtx libtx

Change the repository type filter

All

    Repositories list

    3 repositories

    • SLOT

      Public
      THIS IS A WORK OF FICTION AND NOT a formally verified model checker
      Rocq Prover
      •
      GNU General Public License v3.0
      •2•1•0•0•Updated Mar 29, 2026Mar 29, 2026

    • Storage

      Public
      THIS IS A WORK OF FICTION AND NOT an axiomatic abstraction of container
      novelmodern-art
      novelmodern-art
      Rocq Prover
      •0•1•0•0•Updated Mar 27, 2026Mar 27, 2026

    • ci

      Public
      Cache compiled Coq dependencies
      Dockerfile
      •0•0•0•0•Updated May 7, 2023May 7, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.