Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 12, 2025

• minor additions and modifications

  martinescardo

  committed
  e641d31

  Copy full SHA for e641d31

Commits on Mar 7, 2025

• refactor and generalize a little bit

  martinescardo

  committed
  097a4c7

  Copy full SHA for 097a4c7

Commits on Mar 6, 2025

• refactor initial lift algebra

  martinescardo

  committed
  9252ce7

  Copy full SHA for 9252ce7

Commits on Feb 26, 2025

• minor functions on lists

  martinescardo

  committed
  cd18bc4

  Copy full SHA for cd18bc4

Commits on Feb 25, 2025

• Merge branch 'master' of github.com:martinescardo/TypeTopology

  martinescardo

  committed
  b73110f

  Copy full SHA for b73110f

• minor

  martinescardo

  committed
  dffb909

  Copy full SHA for dffb909

Commits on Feb 22, 2025

• Fix Definition 46

  ayberkt

  committed
  08b2dbf

  Copy full SHA for 08b2dbf

• Merge branch 'master' of github.com:martinescardo/TypeTopology

  martinescardo

  committed
  8084a1d

  Copy full SHA for 8084a1d

• improve sentence

  martinescardo

  committed
  73c0e61

  Copy full SHA for 73c0e61

Commits on Feb 21, 2025

• Use equational reasoning chain

  ayberkt

  committed
  c2afcd9

  Copy full SHA for c2afcd9

• add lemma 40 and 50

  brunorochapaiva

  committed
  7441244

  Copy full SHA for 7441244

• minor

  martinescardo

  committed
  26afa8d

  Copy full SHA for 26afa8d

• Clean up the index

  ayberkt

  committed
  3ff0dd3

  Copy full SHA for 3ff0dd3

Commits on Feb 19, 2025

• remove accidental typo

  martinescardo

  committed
  7f0bf48

  Copy full SHA for 7f0bf48

• Update the file and line count

  ayberkt

  committed
  3a8a6f2

  Copy full SHA for 3a8a6f2

• Update comment

  ayberkt

  committed
  b2a7733

  Copy full SHA for b2a7733

• Remove extra blank line

  ayberkt

  committed
  5075005

  Copy full SHA for 5075005

• Improve function naming

  ayberkt

  committed
  933d4e4

  Copy full SHA for 933d4e4

• Add to the index

  ayberkt

  committed
  3809114

  Copy full SHA for 3809114

• Add flags

  ayberkt

  committed
  3fc5783

  Copy full SHA for 3fc5783

• Remove implicit argument that can be inferred

  ayberkt

  committed
  3d806d0

  Copy full SHA for 3d806d0

• Write a short summary of a conversation with Stefano Gogioso

  ayberkt

  committed
  db322ca

  Copy full SHA for db322ca

Commits on Feb 18, 2025

• add lemma 25c

  brunorochapaiva

  committed
  eab3803

  Copy full SHA for eab3803

• cosmetic changes

  brunorochapaiva

  committed
  5d5fb97

  Copy full SHA for 5d5fb97

• small fix

  brunorochapaiva

  committed
  e68e1f8

  Copy full SHA for e68e1f8

• add some missing results

  brunorochapaiva

  committed
  8dec028

  Copy full SHA for 8dec028

• rename some more things

  brunorochapaiva

  committed
  e1e9209

  Copy full SHA for e1e9209

• comment out hole

  brunorochapaiva

  committed
  74a3ecd

  Copy full SHA for 74a3ecd

• more formalisation links

  brunorochapaiva

  committed
  4987cad

  Copy full SHA for 4987cad

• Reconstruct the original proof using the generalized version

  

  ayberkt

  authored and

  brunorochapaiva

  committed
  8dce9b6

  Copy full SHA for 8dce9b6

• Refactor proof

  

  ayberkt

  authored and

  brunorochapaiva

  committed
  9256d62

  Copy full SHA for 9256d62

• Add TODOs from the meeting

  

  ayberkt

  authored and

  brunorochapaiva

  committed
  43ac508

  Copy full SHA for 43ac508

• Continue to make progress on the index

  

  ayberkt

  authored and

  brunorochapaiva

  committed
  c21730f

  Copy full SHA for c21730f

• Explicitly define modulus of uniform continuity

  

  ayberkt

  authored and

  brunorochapaiva

  committed
  b8042f4

  Copy full SHA for b8042f4

• Continue to make progress on the index

  

  ayberkt

  authored and

  brunorochapaiva

  committed
  382bb9e

  Copy full SHA for 382bb9e

Pagination

Previous

Next