gilith

gilith's Stars

• HOL-Theorem-Prover/HOL

  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

  Language:Standard ML63248654143

• jrh13/hol-light

  The HOL Light theorem prover

  Language:OCaml437265579

• awslabs/s2n-bignum

  Language:OCaml128241724

• LeventErkok/crackNum

  Convert to/from IEEE-754 HP/SP/DP formats

  Language:Haskell20588

• DaveBarton/calculi

  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases

  Language:Haskell16100

• RobArthan/pp

  ProofPower is an open source suite of tools for specification and proof in HOL and Z.

  Language:PostScript7283

• gilith/hol-light

  HOL Light with OpenTheory Support

  Language:OCaml5201

• RobArthan/pp-contrib

  pp-contrib is a collection of contributed examples and tools for ProofPower users.

  Language:HTML5202

• gilith/timelock

  Specialized hardware to open the crypto timelock puzzle

  Language:Verilog4200

• xrchz/isabelle-opentheory

  Interface between Isabelle/HOL and OpenTheory

  Language:Isabelle3402