search

Fabr-ce / lisaTopology

LISA plus added Topology
Apache License 2.0
0 stars 0 forks source link

Definition of topology #1

Open jarctan opened 1 week ago

jarctan commented 1 week ago

Based on the picture on WhatsApp and https://github.com/epfl-lara/lisa/pull/151/commits/6092e129915c62c6dc51c532a6f3888139eca571, implement the definition of topological spaces