Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 1, 2025

• Progress on Hype and Natural Numbers.

  ekpyron

  committed
  5f21618

  Copy full SHA for 5f21618

Commits on Nov 26, 2025

• Finish routley-star.

  ekpyron

  committed
  948c516

  Copy full SHA for 948c516

• Truthmaker Semantics

  ekpyron

  committed
  3d917ff

  Copy full SHA for 3d917ff

Commits on Oct 21, 2025

• Progress on AOT_NaturalNumbers.

  ekpyron

  committed
  d0b734b

  Copy full SHA for d0b734b

• Fix AOT_Possibilities.

  ekpyron

  committed
  91b8e4a

  Copy full SHA for 91b8e4a

Commits on Jul 23, 2025

• Update F-u theorems

  ekpyron

  committed
  91b8a90

  Copy full SHA for 91b8a90

Commits on May 18, 2025

• More progress with Ed and Daniel W.

  ekpyron

  committed
  c60afa5

  Copy full SHA for c60afa5

Commits on Apr 23, 2025

• Adjust definition of discernible.

  ekpyron

  committed
  02fb268

  Copy full SHA for 02fb268

Commits on Apr 13, 2025

• Adjustments for Isabelle2025

  ekpyron

  committed
  49e28dd

  Copy full SHA for 49e28dd

Commits on Mar 28, 2025

• Fill in proof of anc-her:7.

  ekpyron

  committed
  484ab5e

  Copy full SHA for 484ab5e

Commits on Mar 27, 2025

• Restore pre-ind.

  ekpyron

  committed
  b8edc9c

  Copy full SHA for b8edc9c

• =D restricted to discernibles.

  ekpyron

  committed
  80ef6db

  Copy full SHA for 80ef6db

Commits on Mar 26, 2025

• Work with Ed and Daniel W.

  ekpyron

  committed
  fa662f3

  Copy full SHA for fa662f3

• Progress.

  ekpyron

  committed
  24ad92d

  Copy full SHA for 24ad92d

• Progress with Ed and Daniel W.

  ekpyron

  committed
  6a7aec5

  Copy full SHA for 6a7aec5

Commits on Feb 20, 2025

• Model simplifications.

  ekpyron

  committed
  dfc27c9

  Copy full SHA for dfc27c9

• Model simplifications.

  ekpyron

  committed
  a649eda

  Copy full SHA for a649eda

Commits on Feb 19, 2025

• Some initial abstractions.

  ekpyron

  committed
  29e88c7

  Copy full SHA for 29e88c7

• Progress with Ed and Daniel W.

  ekpyron

  committed
  d145951

  Copy full SHA for d145951

• Some cleanup; re-enable abstraction layer.

  ekpyron

  committed
  8c1417d

  Copy full SHA for 8c1417d

• Models are working.

  ekpyron

  committed
  8497fc5

  Copy full SHA for 8497fc5

• Up to infinite discernible sets.

  ekpyron

  committed
  25b84af

  Copy full SHA for 25b84af

Commits on Feb 18, 2025

• Merge branch 'develop' into discernibleNew

  ekpyron

  committed
  b98b2eb

  Copy full SHA for b98b2eb

• Fix up to AOT_NaturalNumbers.

  ekpyron

  committed
  aff61d3

  Copy full SHA for aff61d3

• Fix AOT_model.thy.

  ekpyron

  committed
  01c2a72

  Copy full SHA for 01c2a72

Commits on May 9, 2024

• More redirects.

  ekpyron

  committed
  125a08b

  Copy full SHA for 125a08b

• Include all theories and redirect to AOT from ROOT index.html.

  ekpyron

  committed
  c747fb6

  Copy full SHA for c747fb6

• Pull in Possibilities theory into export info to get theorem numberings in the html rendering.

  ekpyron

  committed
  21cdd0a

  Copy full SHA for 21cdd0a

• Limit line length.

  ekpyron

  committed
  3ef65e5

  Copy full SHA for 3ef65e5

• Fixes for auto-metarulification for axioms.

  ekpyron

  committed
  4af38cd

  Copy full SHA for 4af38cd

• Finished chapter on Possibilities.

  ekpyron

  committed
  1566b30

  Copy full SHA for 1566b30

Commits on Apr 26, 2024

• Temporary state for AOT_Rulify and AOT_Possibilities

  ekpyron

  committed
  d355720

  Copy full SHA for d355720

Commits on Dec 21, 2023

• Updates in possible world theory.

  ekpyron

  committed
  670a0a1

  Copy full SHA for 670a0a1

Commits on Oct 5, 2023

• Update build to Isabelle 2023

  ekpyron

  committed
  81c1d54

  Copy full SHA for 81c1d54

• Minor updates to possible world theory.

  ekpyron

  committed
  1ae4247

  Copy full SHA for 1ae4247

Pagination

Previous

Next