Skip to content
View spidermoy's full-sized avatar
🎯
Focusing
🎯
Focusing
20 followers · 12 following
  • Universidad Nacional Autónoma de México

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback
Block or Report

Block or report spidermoy

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

  1. OnTheFly_ModelChecking OnTheFly_ModelChecking Public

    Efficient On-the-Fly Model Checking for LTL and CTL★.

    Haskell 5

  2. Model_Checking-LTL-CTLS Model_Checking-LTL-CTLS Public

    Computer Scientist Master Degree - Thesis Work

    Haskell 4

  3. S3_multipart_upload S3_multipart_upload Public

    Multipart upload of a file to Amazon S3 with Haskell

    Haskell 3

  4. Monads_KleisliTriples_Proof Monads_KleisliTriples_Proof Public

    Computer Scientist Degree - Thesis Work

    Coq 1

  5. LTL_Coq LTL_Coq Public

    Linear Temporal Logic formalized in Coq

    Coq 1 2

  6. tree_sort_verificated tree_sort_verificated Public

    A formal specification and verification of Tree Sort algorithm in Coq

    Coq