Code

Adding abstract topology to LISA#232

Code

Open

jarctan wants to merge 45 commits intoepfl-lara:mainepfl-lara/lisa:mainfrom Fabr-ce:mainFabr-ce/lisaTopology:mainCopy head branch name to clipboard

+2,414-24

Commits

Commits on Nov 12, 2024

• copied lisa-set

  Fabr-ce

  committed
  5089212

  Copy full SHA for 5089212

Commits on Nov 14, 2024

• MWE

  jarctan

  committed
  8b44b70

  Copy full SHA for 8b44b70

Commits on Nov 16, 2024

• tried definition of topology

  Fabr-ce

  committed
  8bd7991

  Copy full SHA for 8bd7991

• Make it compile

  jarctan

  committed
  1a1903e

  Copy full SHA for 1a1903e

• Even better

  jarctan

  committed
  11ba357

  Copy full SHA for 11ba357

Commits on Nov 21, 2024

• started with proof of discrete Topology

  Fabr-ce

  committed
  9041e04

  Copy full SHA for 9041e04

Commits on Nov 22, 2024

• TheConditional fix

  jarctan

  committed
  19782e5

  Copy full SHA for 19782e5

• Merge branch 'main' into jo

  jarctan

  committed
  fe141c4

  Copy full SHA for fe141c4

• improved definitions

  Fabr-ce

  committed
  960d020

  Copy full SHA for 960d020

Commits on Dec 2, 2024

• finished definitions + progress with proving

  Fabr-ce

  committed
  c5261e6

  Copy full SHA for c5261e6

Commits on Dec 3, 2024

• proved (in)discrete Topology

  Fabr-ce

  committed
  e8d8f0c

  Copy full SHA for e8d8f0c

• Merge remote-tracking branch 'origin/main' into fabrice

  Fabr-ce

  committed
  b23384c

  Copy full SHA for b23384c

Commits on Dec 5, 2024

• started with singleton

  Fabr-ce

  committed
  9106978

  Copy full SHA for 9106978

Commits on Dec 6, 2024

• Direct image + proof of direct image

  jarctan

  committed
  74f5964

  Copy full SHA for 74f5964

• Merge branch 'jo' into fabrice

  jarctan

  committed
  fd9ed26

  Copy full SHA for fd9ed26

• Fix

  jarctan

  committed
  8b3833d

  Copy full SHA for 8b3833d

• Add implicationProof

  dobito6

  committed
  30456d5

  Copy full SHA for 30456d5

• Proof of inverse image union

  jarctan

  committed
  0886df8

  Copy full SHA for 0886df8

• Mapping + Continuity

  jarctan

  committed
  bd92f77

  Copy full SHA for bd92f77

Commits on Dec 8, 2024

• Main steps towards IVT

  Show description for 36da1a4
  jarctan

  committed
  36da1a4

  Copy full SHA for 36da1a4

• Framework for Heine-Borel thm

  jarctan

  committed
  f1c9938

  Copy full SHA for f1c9938

Commits on Dec 12, 2024

• added intersection lemma

  Fabr-ce

  committed
  c60719f

  Copy full SHA for c60719f

• Work on Heine's thm

  jarctan

  committed
  fe48a86

  Copy full SHA for fe48a86

• added memberships

  Fabr-ce

  committed
  3af5856

  Copy full SHA for 3af5856

• preimageUnion to preimages

  jarctan

  committed
  a1d99c2

  Copy full SHA for a1d99c2

• intermediate Value Theorem finished

  Fabr-ce

  committed
  be47296

  Copy full SHA for be47296

• huge progress on singleton proof

  Fabr-ce

  committed
  428b78e

  Copy full SHA for 428b78e

Commits on Dec 13, 2024

• Almost finish Heine's theorem

  jarctan

  committed
  f956727

  Copy full SHA for f956727

• Add proof of union(singletonSets(S)) === S

  dobito6

  committed
  f714041

  Copy full SHA for f714041

Commits on Dec 15, 2024

• finished intermediate Value Thm

  Fabr-ce

  committed
  00653d3

  Copy full SHA for 00653d3

• topology cleanup

  Fabr-ce

  committed
  4d5c150

  Copy full SHA for 4d5c150

• cleanup and merge

  Fabr-ce

  committed
  91e3ee5

  Copy full SHA for 91e3ee5

Commits on Dec 18, 2024

• Fix

  jarctan

  committed
  239839e

  Copy full SHA for 239839e

• Finish content of Heine's theorem

  jarctan

  committed
  193175f

  Copy full SHA for 193175f

• Split Instances into several files

  jarctan

  committed
  8ea523a

  Copy full SHA for 8ea523a

• Document DirectPreimages

  jarctan

  committed
  d032f97

  Copy full SHA for d032f97

• Documentation

  jarctan

  committed
  a4ac69d

  Copy full SHA for a4ac69d

• Delete Main.scala

  jarctan

  committed
  80ea0dc

  Copy full SHA for 80ea0dc

• added documentation for set theory

  Fabr-ce

  committed
  191a35d

  Copy full SHA for 191a35d

• Merge branch 'fabrice' of github.com:Fabr-ce/lisaTopology into fabrice

  Fabr-ce

  committed
  d532601

  Copy full SHA for d532601

• Complete the proof of coverDirectImage

  Show description for c28f132
  jarctan

  committed
  c28f132

  Copy full SHA for c28f132

Commits on Dec 19, 2024

• Finish proof of preimageUnionThm/directImageUnionThm

  jarctan

  committed
  04178a0

  Copy full SHA for 04178a0

Commits on Dec 20, 2024

• Merge branch 'fabrice'

  jarctan

  committed
  7bd31ce

  Copy full SHA for 7bd31ce

Commits on Dec 22, 2024

• Acutally not Heine-Borel

  jarctan

  committed
  6bc4f1c

  Copy full SHA for 6bc4f1c

Commits on Jan 5, 2025

• Add documentation for SingletonSet file

  dobito6

  committed
  4d29c57

  Copy full SHA for 4d29c57