Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 10, 2024

• Fix vvsubst automation and sugar operations for bound free positions

  jvanbruegge

  committed
  68c574c

  Copy full SHA for 68c574c

Commits on Aug 1, 2024

• Fix ROOT file

  jvanbruegge

  committed
  cf5590c

  Copy full SHA for cf5590c

• Add Binder_Inductive to operations session

  jvanbruegge

  committed
  34d75aa

  Copy full SHA for 34d75aa

Commits on Jul 12, 2024

• Fix references in Readme

  jvanbruegge

  committed
  6565d98

  Copy full SHA for 6565d98

Commits on Jul 11, 2024

• Add most of refresh proof for late instantiation

  jvanbruegge

  committed
  0bd8f07

  Copy full SHA for 0bd8f07

Commits on Jul 10, 2024

• Add fomalization of infinitary FOL

  jvanbruegge

  committed
  17cdff4

  Copy full SHA for 17cdff4

Commits on Jul 9, 2024

• fixed ROOT

  dtraytel

  committed
  026cfbe

  Copy full SHA for 026cfbe

Commits on Jul 5, 2024

• Add first version of the parser

  jvanbruegge

  committed
  098d500

  Copy full SHA for 098d500

Commits on Mar 27, 2024

• Add mutual recursion and passive positions to tvsubst (#38)

  jvanbruegge

  authored
  9f8a83c

  Copy full SHA for 9f8a83c

Commits on Mar 23, 2024

• Add congruence to Pi_Calculus

  jvanbruegge

  committed
  aefaabb

  Copy full SHA for aefaabb

Commits on Feb 26, 2024

• Add operations for high level sugar until tvsubst

  jvanbruegge

  committed
  3b50c28

  Copy full SHA for 3b50c28

Commits on Feb 15, 2024

• Add operations to ROOT file

  jvanbruegge

  committed
  49a288d

  Copy full SHA for 49a288d

• Remove prefix from public definitons

  jvanbruegge

  committed
  c66770d

  Copy full SHA for c66770d

Commits on Jan 27, 2024

• more

  dtraytel

  committed
  85df161

  Copy full SHA for 85df161

• more

  dtraytel

  committed
  cbf69f6

  Copy full SHA for cbf69f6

• more

  dtraytel

  committed
  ed2bdc2

  Copy full SHA for ed2bdc2

• more

  dtraytel

  committed
  5a936b5

  Copy full SHA for 5a936b5

• more

  dtraytel

  committed
  d3e9cc4

  Copy full SHA for d3e9cc4

• moved

  dtraytel

  committed
  2f0f2c2

  Copy full SHA for 2f0f2c2

• more

  dtraytel

  committed
  35ec7ef

  Copy full SHA for 35ec7ef

• more

  dtraytel

  committed
  d5ed8da

  Copy full SHA for d5ed8da

Commits on Jan 23, 2022

• Add CI for the theories

  jvanbruegge

  committed
  76ebb60

  Copy full SHA for 76ebb60

Loading