Skip to content
View benjaminfjones's full-sized avatar
🔬
trying to find scientist hat
🔬
trying to find scientist hat
54 followers · 12 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report benjaminfjones

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
benjaminfjones/README.md
  • 👋 Hi, I’m Benjamin F Jones, @benjaminfjones
  • 👀 I’m interested in mathematics, formal methods, programming languages, running, and cycling
  • 🌱 I’m currently practicing logic and automated reasoning
  • 💞️ I’m looking to collaborate on looking for the one who is looking
  • 📫 How to reach me benjaminfjones@ GMAIL, bfj@ AMAZON, benjaminfjones@ GITHUB

Pinned Loading

  1. minsky minsky Public

    Minsky Machine implementations in Rust

    Rust

  2. GaloisInc/blt GaloisInc/blt Public

    Lattice-based integer linear programming solver

    C++ 66 10

  3. oxlox oxlox Public

    Lox interpreter

    Rust

  4. reckonlean reckonlean Public

    Notes on the Handbook of Practical Logic -- Lean Edition

    Lean 1

  5. yaspar-org/Sundance-SMT yaspar-org/Sundance-SMT Public

    An SMT solver for program verification

    SMT 13 2

  6. presburger presburger Public

    WIP - Library for efficient Presburger Arithmetic

    Rust 4 1