Skip to content

@Event-Structures Event-Structures

Change the repository type filter

All

    Repositories list

    3 repositories

    • event-struct

      Public
      Mechanized Theory of Event Structures
      Coq
      •
      MIT License
      •1•16•7•5•Updated Aug 16, 2023Aug 16, 2023

    • small-steps

      Public
      Coq
      •
      MIT License
      •0•0•0•0•Updated Sep 9, 2021Sep 9, 2021

    • papers

      Public
      TeX
      •0•0•0•0•Updated Aug 9, 2021Aug 9, 2021