Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 5, 2025

• Finish Perm.v

  fasapa

  committed
  e7aea4e

  Copy full SHA for e7aea4e

Commits on Jul 14, 2025

• Disable warning and remove experimental files

  fasapa

  committed
  152d7fb

  Copy full SHA for 152d7fb

Commits on Feb 15, 2025

• subst comp (#5)

  Show description for fc7b95a
  fasapa

  authored
  fc7b95a

  Copy full SHA for fc7b95a

Commits on Oct 23, 2024

• FCB correct (#4)

  fasapa

  authored
  16ec581

  Copy full SHA for 16ec581

Commits on Jun 9, 2024

• Alpha structural recursion/induction (#3)

  Show description for 546d00e
  fasapa

  authored
  546d00e

  Copy full SHA for 546d00e

Commits on Feb 7, 2023

• Revert "Lambda calculus experiment"

  Show description for fa998a6
  fasapa

  committed
  fa998a6

  Copy full SHA for fa998a6

• Revert "Extensional supported functions"

  Show description for 66d7cb1
  fasapa

  committed
  66d7cb1

  Copy full SHA for 66d7cb1

Commits on Feb 6, 2023

• Extensional supported functions

  fasapa

  committed
  708612b

  Copy full SHA for 708612b

• Lambda calculus experiment

  fasapa

  committed
  a2cf919

  Copy full SHA for a2cf919

• name -> Name & perm -> Perm

  fasapa

  committed
  93a5e3d

  Copy full SHA for 93a5e3d

Commits on Sep 16, 2022

• Reorganize and update stdpp

  fasapa

  committed
  a62244f

  Copy full SHA for a62244f

Commits on Jul 8, 2022

• Forgot md extension.

  fasapa

  committed
  20b0e02

  Copy full SHA for 20b0e02

• More info

  fasapa

  committed
  0f2f391

  Copy full SHA for 0f2f391

• Added basic readme file

  fasapa

  committed
  0a1a604

  Copy full SHA for 0a1a604

• Final version for Msc

  fasapa

  committed
  2a8a4b9

  Copy full SHA for 2a8a4b9

Commits on Feb 18, 2022

• Name abstraction inverion lemma

  fasapa

  committed
  7218c5a

  Copy full SHA for 7218c5a

Commits on Dec 17, 2021

• Some corrections

  fasapa

  committed
  9139353

  Copy full SHA for 9139353

Commits on Nov 12, 2021

• Port to Coq 8.14

  fasapa

  committed
  5d398e9

  Copy full SHA for 5d398e9

Commits on Nov 11, 2021

• Cleanup

  fasapa

  committed
  389b048

  Copy full SHA for 389b048

• More name abstraction lemmas

  fasapa

  committed
  5a82de5

  Copy full SHA for 5a82de5

• (WIP) New name abstraction lemmas

  fasapa

  committed
  11adf09

  Copy full SHA for 11adf09

Commits on Nov 10, 2021

• Collapse GroupAction into only PermAction

  fasapa

  committed
  d172557

  Copy full SHA for d172557

• Name abstraction rework

  fasapa

  committed
  5423cc5

  Copy full SHA for 5423cc5

Commits on Nov 9, 2021

• Name abstraction nominal instance

  fasapa

  committed
  bb0e212

  Copy full SHA for bb0e212

• Nominal instance for Prod

  fasapa

  committed
  8d93398

  Copy full SHA for 8d93398

• Change action unicode symbol

  fasapa

  committed
  0e9737e

  Copy full SHA for 0e9737e

Commits on Nov 8, 2021

• New fresh tactic

  fasapa

  committed
  a11f957

  Copy full SHA for a11f957

Commits on Oct 28, 2021

• a # f → a # x → a # f x.

  fasapa

  committed
  ee8e457

  Copy full SHA for ee8e457

• Supported functions nominal

  fasapa

  committed
  9a652d8

  Copy full SHA for 9a652d8

Commits on Oct 27, 2021

• Permutation action for supported functions

  fasapa

  committed
  a31fa8b

  Copy full SHA for a31fa8b

Commits on Oct 23, 2021

• (WIP) Supported functions

  fasapa

  committed
  54ae669

  Copy full SHA for 54ae669

Commits on Oct 21, 2021

• Name abstraction rework

  

  Fabrício Paranhos

  committed
  36d5540

  Copy full SHA for 36d5540

Commits on Sep 15, 2021

• Nominal instances and fresh update

  fasapa

  committed
  3dd05c8

  Copy full SHA for 3dd05c8

Commits on Sep 1, 2021

• Alpha abstraction and some refactoring

  fasapa

  committed
  e58db61

  Copy full SHA for e58db61

• Remove workspace

  fasapa

  committed
  abffd38

  Copy full SHA for abffd38

Pagination

Previous

Next