jkr2255 / prop_logic

Completed

by takaaki

created 2016-04-08 14:17 UTC

Congratulations, you ran your first inspection on the master branch. Future inspections show changes here.

9.5

▶ ± 0

Commit	Jkr2255 – 2016-04-08 13:00 UTC caching NotTerm#nnf? & #refuced