Commits

Branch selector

 master

User selector

jrh13

Datepicker

All time

Commit History

Commits on Dec 22, 2024

• Added a development of transcendence theory from Daniel J. Bernstein,

  Show description for 28e4aed
  jrh13

  committed
  28e4aed

Commits on Nov 20, 2024

• Merge pull request #119 from aqjune-aws/reduce_conv

  Show description for 4eef6f6
  jrh13

  authored
  4eef6f6

Commits on Nov 7, 2024

• Factored the material about linear dependence, span and dimension

  Show description for 9eccc5e
  jrh13

  committed
  9eccc5e

Commits on Nov 4, 2024

• Merge pull request #118 from jargh/master

  Show description for c39dbfd
  jrh13

  authored
  c39dbfd

Commits on Oct 23, 2024

• Merge pull request #117 from jargh/master

  Show description for bc91659
  jrh13

  authored
  bc91659

• Merge pull request #116 from aqjune-aws/opam

  Show description for b5e71c0
  jrh13

  authored
  b5e71c0

Commits on Oct 17, 2024

• Fixed a couple of bugs in the handling of div/rem in INT_ARITH that

  Show description for 32aac59
  jrh13

  committed
  32aac59

Commits on Oct 12, 2024

• Merge pull request #115 from aqjune-aws/ocaml5

  Show description for 72b2b70
  jrh13

  authored
  72b2b70

Commits on Oct 10, 2024

• Merge pull request #114 from aqjune-aws/nativecomp

  Show description for a58b904
  jrh13

  authored
  a58b904

• Added a miscellaneous collection of theorems, including various ring

  Show description for 6f137d9
  jrh13

  committed
  6f137d9

Commits on Oct 8, 2024

• Merge pull request #113 from aqjune-aws/then1

  Show description for 4563ae5
  jrh13

  authored
  4563ae5

Commits on Sep 24, 2024

• Merge pull request #111 from jargh/master

  Show description for 2c04223
  jrh13

  authored
  2c04223

Commits on Sep 19, 2024

• Merge pull request #110 from jargh/master

  Show description for 5af59fc
  jrh13

  authored
  5af59fc

• Merge pull request #108 from aqjune-aws/module3

  Show description for bf1651f
  jrh13

  authored
  bf1651f

• Merge pull request #109 from aqjune-aws/imp_rewrite

  Show description for 413e41a
  jrh13

  authored
  413e41a

Commits on Aug 23, 2024

• Merge pull request #107 from aqjune-aws/module2

  Show description for 282fc37
  jrh13

  authored
  282fc37

Commits on Aug 8, 2024

• Merge pull request #106 from aqjune-aws/bugfix

  Show description for 016d226
  jrh13

  authored
  016d226

Commits on Aug 6, 2024

• Merge pull request #105 from aqjune-aws/module1

  Show description for 7f7808d
  jrh13

  authored
  7f7808d

• Merge pull request #103 from aqjune/url

  Show description for 321103a
  jrh13

  authored
  321103a

Commits on Jul 7, 2024

• Added various elementary group and ring theorems (e.g. characterizations

  Show description for 16b184e
  jrh13

  committed
  16b184e

Commits on Jul 6, 2024

• Merge pull request #102 from aqjune/camlp5-update

  Show description for c94729f
  jrh13

  authored
  c94729f

Commits on Jun 27, 2024

• Added missing test file for Cadical interface

  jrh13

  committed
  27f8d1c

Commits on Jun 13, 2024

• Added a slew of further elementary definitions and theorems about

  Show description for 1681896
  jrh13

  committed
  1681896

Commits on Jun 1, 2024

• Merge pull request #99 from aqjune/fixes

  Show description for ae6f821
  jrh13

  authored
  ae6f821

Commits on May 10, 2024

• Merge pull request #98 from aqjune/switch

  Show description for d836698
  jrh13

  authored
  d836698

• Merge pull request #97 from monadius/nonlinear

  Show description for 4832374
  jrh13

  authored
  4832374

Commits on Apr 13, 2024

• Added a proof-checking interface to the Cadical SAT solver

  Show description for db271ab
  jrh13

  committed
  db271ab

Commits on Apr 6, 2024

• Update ocamlgraph setup for the QBF subdirectory

  Show description for 4460d84
  jrh13

  committed
  4460d84

Commits on Apr 5, 2024

• Fixed a few things that break after the removal of explicit module

  Show description for 85987b1
  jrh13

  committed
  85987b1

• Made some initial changes to support OCaml version 5. This is mainly

  Show description for b388ce4
  jrh13

  committed
  b388ce4

Commits on Apr 4, 2024

• Merge pull request #94 from aqjune/zarith

  Show description for bfb2ea9
  jrh13

  authored
  bfb2ea9

Commits on Mar 20, 2024

• Added a basic bit-blasting tactic and rule to the word library, using

  Show description for c153f40
  jrh13

  committed
  c153f40

Commits on Mar 17, 2024

• Added a basic implementation of BDDs as a HOL derived rule, in the new

  Show description for 7e9faf7
  jrh13

  committed
  7e9faf7

Commits on Mar 14, 2024

• Merge pull request #93 from aqjune/makehol

  Show description for 2120695
  jrh13

  authored
  2120695

Commits on Mar 2, 2024

• Added more word lemmas

  Show description for 44c12e0
  jrh13

  committed
  44c12e0

Pagination

Previous

Next