Commits

Branch selector

 v0.6.1

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 11, 2023

• update version to 0.6.1

  smithtim

  committed
  64ac94f

  Copy full SHA for 64ac94f

• added batch file for windows

  smithtim

  committed
  0ef60b2

  Copy full SHA for 0ef60b2

• find eprover in a more portable way

  smithtim

  committed
  e804327

  Copy full SHA for e804327

• reduce word wrapper width for portability

  smithtim

  committed
  4b677f6

  Copy full SHA for 4b677f6

• make word wrapper absorb spaces when wrapping

  smithtim

  committed
  2f1dcda

  Copy full SHA for 2f1dcda

• remove memory limit, for portability

  smithtim

  committed
  788ecad

  Copy full SHA for 788ecad

• starting Oak version 0.6post

  smithtim

  committed
  a18d89c

  Copy full SHA for a18d89c

Commits on Jul 9, 2023

• update version to 0.6

  smithtim

  committed
  be416f3

  Copy full SHA for be416f3

• update readme for pending release

  smithtim

  committed
  d9cebb2

  Copy full SHA for d9cebb2

• Atom is now Pulsar

  smithtim

  committed
  e7d4aba

  Copy full SHA for e7d4aba

• add recursion.oak, completing bernstein proof

  smithtim

  committed
  53762a4

  Copy full SHA for 53762a4

• add bernstein.oak to examples, with one assumption

  smithtim

  committed
  f7c2982

  Copy full SHA for f7c2982

• raised prover limit from 80,000 to 100,000

  smithtim

  committed
  43b7ce7

  Copy full SHA for 43b7ce7

• turned product definition axiom into a theorem

  smithtim

  committed
  8413bb5

  Copy full SHA for 8413bb5

• fix bug with tie-in checking

  smithtim

  committed
  82fa852

  Copy full SHA for 82fa852

• fix soundness bug with tie-ins and bindings

  smithtim

  committed
  9ea653a

  Copy full SHA for 9ea653a

• added support for 'take any odd n', etc.

  smithtim

  committed
  994af9b

  Copy full SHA for 994af9b

• fix bug where 'for at most one' could appear in tie-ins

  smithtim

  committed
  9ebfcc7

  Copy full SHA for 9ebfcc7

• use new precedence for iff, if, implies in examples

  smithtim

  committed
  fe1bccc

  Copy full SHA for fe1bccc

• new precedence for iff, if, implies

  smithtim

  committed
  948ea7e

  Copy full SHA for 948ea7e

• new example: godel's disjunction

  smithtim

  committed
  56e92be

  Copy full SHA for 56e92be

• starting Oak version 0.5post

  smithtim

  committed
  638c2a9

  Copy full SHA for 638c2a9

Commits on May 11, 2022

• highlight.js language definition

  smithtim

  authored
  d9c5ba5

  Copy full SHA for d9c5ba5

Commits on Apr 20, 2022

• update version to 0.5

  smithtim

  committed
  844a432

  Copy full SHA for 844a432

• update readme for pending release

  smithtim

  committed
  80a1f4c

  Copy full SHA for 80a1f4c

• change spaces to tabs in example for website

  smithtim

  committed
  eabb175

  Copy full SHA for eabb175

• polished examples

  smithtim

  committed
  5b67ac3

  Copy full SHA for 5b67ac3

• updated bindings to handle parameterized tie-ins

  smithtim

  committed
  7b1bdc1

  Copy full SHA for 7b1bdc1

• finish integrating schema as content, and remove old proof output

  smithtim

  committed
  58367ab

  Copy full SHA for 58367ab

• add parameterized tie-ins to parser, and treat schemas more like other content

  smithtim

  committed
  e86eb54

  Copy full SHA for e86eb54

• add parameterized tie-ins to grammar

  smithtim

  committed
  a71fe44

  Copy full SHA for a71fe44

• add konigsberg

  smithtim

  committed
  02811c1

  Copy full SHA for 02811c1

• add list and graph

  smithtim

  committed
  1a6de42

  Copy full SHA for 1a6de42

• split out comprehension axioms, some additions to naturals and sets

  smithtim

  committed
  0f616a6

  Copy full SHA for 0f616a6

• add parameterized tie-ins to naturals.oak

  smithtim

  committed
  3be1fb2

  Copy full SHA for 3be1fb2

Pagination

Previous

Next