Skip to content

GitLab

P
ProofScriptParser
Switch branch/tag
Find file Normal viewHistoryPermalink
edu.kit.iti.formal.psdbg.examples.Example 258 Bytes
Newer Older
Alexander Weigl's avatar
add DockFX  
Alexander Weigl committed
1 
edu.kit.iti.formal.psdbg.examples.contraposition.ContrapositionExample
Sarah Grebing's avatar
bug fix  
Sarah Grebing committed
2 
edu.kit.iti.formal.psdbg.examples.fol.FirstOrderLogicExample
Sarah Grebing's avatar
Testcase for bug in termmatcher  
Sarah Grebing committed
3 4 
edu.kit.iti.formal.psdbg.examples.java.simple.JavaSimpleExample
edu.kit.iti.formal.psdbg.examples.java.transitive.PaperExample