public marks

PUBLIC MARKS from ionial with tag theorem

ionial's TAGS related to tag theorem

lisp +   logic +   math +   metaprogramming +   now +   prover +   tocheck +   tools +   toread +