Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 12, 2024

• update v.15.0-rc1 (#175)

  iehality

  authored
  d5a5b56

• fix(FirstOrder): Sigma1Sound

  iehality

  committed
  9033902

Commits on Dec 8, 2024

• add Foundation

  iehality

  committed
  cca37b3

• Algebraic hauptsatz (#170)

  Show description for 12f31f3
  iehality

  authored
  12f31f3

Commits on Dec 7, 2024

• feat(Modal): Full Strength Analysis of Modal Cube Part.1 (#171)

  Show description for 7546c6f
  SnO2WMaN

  authored
  7546c6f

Commits on Dec 2, 2024

• update to v4.14.0 (#173)

  iehality

  authored
  e23fbb9

Commits on Nov 27, 2024

• refactor(IntProp/Modal): Refactor file structure (#169)

  Show description for a1bfd1f
  SnO2WMaN

  authored
  a1bfd1f

Commits on Nov 24, 2024

• fix(FirstOrder): fix simp

  iehality

  committed
  8102583

• [create-pull-request] automated change (#168)

  Show description for 15a9f8d
  

  github-actions[bot]

  and

  iehality

  authored
  15a9f8d

• fix Intprop.Heyting

  iehality

  committed
  4887553

• chore: add IntFO to Foundation.lean

  iehality

  committed
  7133522

• fix(FirstOrder, IntFO): Re-Redefine Rew (#167)

  Show description for 51d0833
  iehality

  authored
  51d0833

Commits on Nov 20, 2024

• feat(Modal): Add negation form formula (#164)

  Show description for 1f10809
  SnO2WMaN

  authored
  1f10809

• feat(Modal): Add substitution (#166)

  SnO2WMaN

  authored
  27a26fe

Commits on Nov 19, 2024

• Refactor on Modal Logic GL (#163)

  Show description for 75a11cc
  SnO2WMaN

  authored
  75a11cc

Commits on Nov 17, 2024

• [create-pull-request] automated change (#165)

  Show description for 74973d4
  

  github-actions[bot]

  and

  iehality

  authored
  74973d4

Commits on Nov 12, 2024

• Update to v4.14.0-rc2 (#161)

  Show description for a4e7586
  

  SnO2WMaN

  and

  iehality

  authored
  a4e7586

Commits on Nov 11, 2024

• Rewrite Kripke Semantics for Modal Logic (#158)

  Show description for 6a844a7
  SnO2WMaN

  authored
  6a844a7

Commits on Nov 10, 2024

• Add auto update (#156)

  SnO2WMaN

  authored
  003e912

• Rewriting Kripke Semantics for IntProp (#155)

  Show description for b8e39ae
  SnO2WMaN

  authored
  b8e39ae

Commits on Nov 8, 2024

• update README & add sponsor

  iehality

  committed
  e6caa4b

• Intuitionistic First-Order Logic (#151)

  Show description for 7d9e385
  iehality

  authored
  7d9e385

Commits on Nov 7, 2024

• Refactoring about Hilbert Deduction System (#154)

  Show description for cf6358e
  SnO2WMaN

  authored
  cf6358e

Commits on Nov 6, 2024

• Refactor Rew (#152)

  Show description for f9b24e7
  iehality

  authored
  f9b24e7

Commits on Nov 1, 2024

• Rename formula variables (#150)

  Show description for 86061a7
  iehality

  authored
  86061a7

Commits on Oct 31, 2024

• chore: Update to 4.13 (#146)

  Show description for 8374be2
  

  iehality

  and

  SnO2WMaN

  authored
  8374be2

Commits on Oct 17, 2024

• fix(IntProp): dialectica

  iehality

  committed
  1f1b175

Commits on Oct 16, 2024

• dialectica

  iehality

  committed
  03f815a

• remane to LindenbumAlgebra

  iehality

  committed
  31d5505

• fix typo

  iehality

  committed
  fb27b27

• feat(Modal): Unnecessitation of Modal Disjunctive Property (#144)

  SnO2WMaN

  authored
  08963e3

• feat(Modal): Unnecessitation of Modal Disjunctive Property (#145)

  SnO2WMaN

  authored
  88ce0c5

Commits on Oct 15, 2024

• ci: Remove import graph (#143)

  SnO2WMaN

  authored
  f071754

• refactor: rename logic to foundation (#142)

  SnO2WMaN

  authored
  33e08c2

• ci: Remove document generation (#141)

  SnO2WMaN

  authored
  876b507

Pagination

PreviousNext