Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 6, 2025

• Merge pull request #4 from UniMath/reducibility

  Show description for cad09ce
  klinashka

  authored
  cad09ce

  Copy full SHA for cad09ce

• changes

  klinashka

  committed
  a8b5932

  Copy full SHA for a8b5932

Commits on Feb 16, 2025

• Definition of correspondence sequences.

  klinashka

  committed
  2fd6dd4

  Copy full SHA for 2fd6dd4

• One-one reductions with many-one to one-one characterisations.

  klinashka

  committed
  71c82d1

  Copy full SHA for 71c82d1

Commits on Jan 11, 2025

• One-one reductions.

  klinashka

  committed
  6c54594

  Copy full SHA for 6c54594

Commits on Dec 23, 2024

• Fixed merge conflicts.

  klinashka

  committed
  1d2e62b

  Copy full SHA for 1d2e62b

• Merge pull request #3 from UniMath/enumerability

  Show description for 007de93
  klinashka

  authored
  007de93

  Copy full SHA for 007de93

• Removed notation for predicate operations.

  klinashka

  committed
  bbe39a1

  Copy full SHA for bbe39a1

• Implemented embed and unembed inverse proofs.

  klinashka

  committed
  ec1d513

  Copy full SHA for ec1d513

Commits on Dec 20, 2024

• Defined strong enumerability and proven finite and kfinite types are enumerable.

  klinashka

  committed
  5970b9f

  Copy full SHA for 5970b9f

• Proven closure property for lists.

  klinashka

  committed
  6a5720b

  Copy full SHA for 6a5720b

Commits on Dec 19, 2024

• Defined List Enumerability.

  klinashka

  committed
  2adba78

  Copy full SHA for 2adba78

• Merge branch 'master' of github.com:UniMath/Computability into enumerability

  klinashka

  committed
  3e56e19

  Copy full SHA for 3e56e19

• Merge pull request #2 from UniMath/lists

  Show description for 95c181f
  klinashka

  authored
  95c181f

  Copy full SHA for 95c181f

• Merge branch 'master' into lists

  klinashka

  authored
  37eccfc

  Copy full SHA for 37eccfc

• Checkstyle.

  klinashka

  committed
  b692f2f

  Copy full SHA for b692f2f

• Modified gitignore.

  klinashka

  committed
  4a08977

  Copy full SHA for 4a08977

• -ammend

  klinashka

  committed
  213982e

  Copy full SHA for 213982e

• Proved lemmas regarding enumerability for types and predicates.

  klinashka

  committed
  0b7f8d7

  Copy full SHA for 0b7f8d7

Commits on Nov 21, 2024

• Started implementation on enumerability.

  klinashka

  committed
  bb1a51e

  Copy full SHA for bb1a51e

Commits on Nov 19, 2024

• Merge pull request #1 from UniMath/discrete

  Show description for 70b331f
  klinashka

  authored
  70b331f

  Copy full SHA for 70b331f

• Closure properties for decidability under lists and options.

  klinashka

  committed
  bdafd5a

  Copy full SHA for bdafd5a

• Modified reducibility.

  klinashka

  committed
  ed9e12c

  Copy full SHA for ed9e12c

Commits on Nov 15, 2024

• Facts about Lists.

  klinashka

  committed
  091a455

  Copy full SHA for 091a455

Commits on Nov 14, 2024

• Many One Reductions.

  klinashka

  committed
  22584fd

  Copy full SHA for 22584fd

• Changed import.

  klinashka

  committed
  8cfcc80

  Copy full SHA for 8cfcc80

• Finalized setup and added some files.

  klinashka

  committed
  ccdce1e

  Copy full SHA for ccdce1e

• Add initial import file to test whether the pipeline is working.

  klinashka

  committed
  3a0e18f

  Copy full SHA for 3a0e18f

Commits on Nov 13, 2024

• Initial repository.

  klinashka

  committed
  0b06c2a

  Copy full SHA for 0b06c2a