package info
(click to toggle)
eukleides 1.0.3-1
- links: PTS
- area: main
- in suites: lenny
- size: 488 kB
- ctags: 287
- sloc: ansic: 2,168; yacc: 881; lex: 540; makefile: 96; sh: 16
Folder: samples
 |
.. (parent) | |||
 |
- | rw-r--r-- | 481 | abdul_al_wafa.euk |
|
- | rw-r--r-- | 525 | agnesi.euk |
|
- | rw-r--r-- | 423 | angles.euk |
|
- | rw-r--r-- | 693 | archimedes.euk |
|
- | rw-r--r-- | 555 | bisectors.euk |
|
- | rw-r--r-- | 412 | gravity_center.euk |
|
- | rw-r--r-- | 1,121 | inequality.euk |
|
- | rw-r--r-- | 720 | intercept.euk |
|
- | rw-r--r-- | 597 | intersection.euk |
|
- | rw-r--r-- | 616 | lines_and_circles.euk |
|
- | rw-r--r-- | 366 | locus.euk |
|
- | rw-r--r-- | 579 | morley.euk |
|
- | rw-r--r-- | 356 | orthocenter.euk |
|
- | rw-r--r-- | 449 | parallelogram.euk |
|
- | rw-r--r-- | 586 | pascal.euk |
|
- | rw-r--r-- | 1,051 | perdigal.euk |
|
- | rw-r--r-- | 543 | pstexample.euk |
|
- | rw-r--r-- | 896 | quadrilateral.euk |
|
- | rw-r--r-- | 322 | similar.euk |
|
- | rw-r--r-- | 458 | vecten.euk |