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

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Quickdraw

Organizations

@csabitsh

Block or report still-rollin

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. ADG-Lib ADG-Lib Public

    Forked from ADG-Foundation/ADG-Lib

    Library of ADG (Automated Deduction in Geometry) resources

    OpenEdge ABL

  2. GeoCoq GeoCoq Public

    Forked from GeoCoq/GeoCoq

    A formalization of geometry in Coq based on Tarski's axiom system

    Rocq Prover

  3. StructSure StructSure Public

  4. GeoCoq/GeoCoq GeoCoq/GeoCoq Public

    A formalization of geometry in Coq based on Tarski's axiom system

    Rocq Prover 206 31