Skip to content
Avatar
131 followers · 0 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@IMO-grand-challenge
Block or Report

Block or report dselsam

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.

Report abuse

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

Report abuse

Popular repositories

  1. certigrad Public

    Bug-free machine learning on stochastic computation graphs

    Lean 374 36

  2. neurosat Public

    NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

    Python 218 49

  3. neurocore-public Public

    NeuroCore: Guiding CDCL with Unsat-Core Predictions

    Python 30 6

  4. tc Public

    Forked from leanprover/tc

    Reference type checker for the Lean theorem prover

    Haskell 11 1

  5. binport Public archive

    A tool for building Lean4 .olean files from Lean3 export data

    Lean 10 1

  6. lean-python-bindings Public

    Python Bindings to the Lean Theorem Prover http://leanprover.github.io/

    Python 8 3

1,099 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

March 2022

Created 14 commits in 2 repositories

Created a pull request in leanprover-community/lean that received 8 comments

feat: export pretty-printed tactic states

cc @PatrickMassot

+46 −7 • 8 comments
Opened 11 other pull requests in 3 repositories
leanprover-community/mathzoo 4 merged 1 closed
dselsam/mathzoo 3 open 1 merged
leanprover-community/mathport 1 open 1 closed
Reviewed 2 pull requests in 2 repositories
leanprover-community/lean 1 pull request
leanprover-community/mathzoo 1 pull request
7 contributions in private repositories Mar 8 – Mar 24

Seeing something unexpected? Take a look at the GitHub profile guide.