Thursday, April 17, 2014

Logic Templates

We're currently working on having logic templates available such as ORs. Bram recommended this because it takes a long time to do some very trivial things in existential graphs so we're trying to speed it up.

Also variables should be stored during a proof for quick access.

No comments:

Post a Comment