Apache/2.4.58 (Ubuntu) Server at ftp.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
bridge.proptest-regressions 2026-11-01 00:09 3.2K
bridge.rs 2026-11-01 00:09 21K
prop_format.rs 2026-11-01 00:09 2.0K
roundtrip.rs 2026-11-01 00:09 12K
sample.fig 2026-11-01 00:09 784
special_text.rs 2026-11-01 00:09 1.7K