v1.4.0

valis released this 29 Jun 11:03

· 959 commits to master since this release

b1b6c7b

Updates:

Refine and 'replace with constructor' goal solvers
Level prover for non-recursive data types
'contradiction' meta
Transitive and equivalence closure
'using' and 'hiding' meta definitions
'equation' meta
Construction of K(G,1)

Assets 3