Index of /current_tree/synth

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]DFA/2021-03-19 21:25 -  
[DIR]logic/2021-03-19 21:25 -  
[TXT]main.tex2021-03-19 21:25 223  
[DIR]other/2021-03-19 21:25 -  
[DIR]pgm/2021-03-19 21:25 -  

Apache/2.4.29 (Ubuntu) Server at sat-smt.codes Port 443