Skip to content
View jt0202's full-sized avatar
4 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Block or report jt0202

Report abuse

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

Report abuse

Pinned Loading

  1. knowsys/CertifyingDatalog knowsys/CertifyingDatalog Public

    A certified checker for Datalog entailments, written in Lean

    Lean 13 2