Language extensions #4

Open

Labels

opened

FOLProof could be extended to include more operators, like iff (partially implemented), +, or *.

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests