Skip to content
Avatar
📚
Solving Solver Issues
📚
Solving Solver Issues
76 followers · 153 following · 651

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@codeanonorg
Block or Report

Block or report jdrprod

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

Pinned

  1. cqfd

    A why3 certified prover for the propositional logic

    OCaml 10

  2. SATurne

    Tiny verified SAT-solver

    Coq 11 2

  3. owl

    A mini language for logic programming

    OCaml 14 1

  4. lili

    Minimalist proof checker based on a simply typed lambda-calculus

    OCaml 6

  5. codeanonorg/Autowp

    Un utilitaire pour le calcul des *Weakest Precondition*

    OCaml 4

  6. mfc

    My First Real Compiler

    OCaml 2

488 contributions in the last year

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

Contribution activity

August 2021

Created 11 commits in 3 repositories
Created 3 repositories

Created a pull request in langjam/jam0001 that received 1 comment

Submission of the KerLang team

+1,713 −1 • 1 comment
Opened 1 other pull request in 1 repository
langjam/jam0001 1 merged

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