Skip to content
View benjaminfjones's full-sized avatar
🔬
trying to find scientist hat
🔬
trying to find scientist hat
56 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

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 street photography
  • 📫 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 9

  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 19 2

  6. presburger presburger Public

    WIP - Library for efficient Presburger Arithmetic

    Rust 4 1