https://github.com/mirefek/geo_logic
Tip revision: c8c9b715cae0acfb07585c25659b1333d075cc5b authored by mirefek on 25 July 2021, 19:43:55 UTC
bugfix
bugfix
Tip revision: c8c9b71
| File | Mode | Size |
|---|---|---|
| geo_logic.pdf | -rw-r--r-- | 363.3 KB |
| geo_logic.tex | -rw-r--r-- | 19.0 KB |
| llncs.cls | -rw-r--r-- | 42.4 KB |
| logic_system.pdf | -rw-r--r-- | 185.7 KB |
| screenshot.png | -rw-r--r-- | 87.8 KB |
| simson1.pdf | -rw-r--r-- | 11.0 KB |
| simson2a.pdf | -rw-r--r-- | 20.2 KB |
| simson2b.pdf | -rw-r--r-- | 19.2 KB |
| simson3.pdf | -rw-r--r-- | 31.2 KB |
| simson4.pdf | -rw-r--r-- | 39.2 KB |
| simson5.pdf | -rw-r--r-- | 40.2 KB |
