Skip to content
@libtx

libtx

Popular repositories Loading

  1. SLOT SLOT Public

    THIS IS A WORK OF FICTION AND NOT a formally verified model checker

    Coq 1 2

  2. Storage Storage Public

    THIS IS A WORK OF FICTION AND NOT an axiomatic abstraction of container

    Coq 1

  3. ci ci Public

    Cache compiled Coq dependencies

    Dockerfile

Repositories

Showing 3 of 3 repositories
  • SLOT Public

    THIS IS A WORK OF FICTION AND NOT a formally verified model checker

    libtx/SLOT’s past year of commit activity
    Coq 1 GPL-3.0 2 0 0 Updated Dec 16, 2024
  • Storage Public

    THIS IS A WORK OF FICTION AND NOT an axiomatic abstraction of container

    libtx/Storage’s past year of commit activity
    Coq 1 0 0 0 Updated Sep 10, 2023
  • ci Public

    Cache compiled Coq dependencies

    libtx/ci’s past year of commit activity
    Dockerfile 0 0 0 0 Updated May 7, 2023

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…