Skip to content
View PeterLarochkin's full-sized avatar
👓
Focusing
👓
Focusing

Block or report PeterLarochkin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. discrete_structures discrete_structures Public

    HomeWorks

    Jupyter Notebook 2

  2. ltl ltl Public

    Forked from rocq-archive/ltl

    Linear Temporal Logic

    Coq

  3. python2022 python2022 Public

    Python

  4. InfSeqExt InfSeqExt Public

    Forked from DistributedComponents/InfSeqExt

    A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

    Coq

  5. ctltctl ctltctl Public

    Forked from rocq-archive/ctltctl

    Computation Tree Logic for Reactive Systems and Timed Computation

    Coq

  6. smc smc Public

    Forked from rocq-archive/smc

    BDD based symbolic model checker for the modal mu-calculus

    Coq