Skip to content
Snippets Groups Projects
Commit 508fa469 authored by hondet's avatar hondet
Browse files

QFO more robust 

Does not prefix first order connectives while printing,
Explicit terms
Use different signature states
parent b053a338
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment