Search results

Create iOS app?

Status: Open.

#38 In teorth/QED;

· swetepete opened on Mar 3, 2022

How to apply cancellation law?

Status: Open.

#32 In teorth/QED;

· TengGit opened on May 3, 2019

Start adding tests

Status: Open.

#31 In teorth/QED;

· cjerdonek opened on Sep 12, 2018

Better ordering of available deductions: term-specific deductions before generic deductions

Status: Open.

#20 In teorth/QED;

· Voileexperiments opened on Aug 29, 2018

How to implement localisation?

Status: Open.

#9 In teorth/QED;

· teorth opened on Aug 28, 2018