321 B

Raw Permalink Blame History

PVS (theorem prover)

socrates-mortal.pvs: 'Socrates is mortal'
sum-n.pvs: Sum of first n natural numbers
sum-n3.pvs: Sum of first n natural number squares

#booleans.pvs #fadder.pvs #fnofix.pvs #mybaby.pvs #mybaby-re.pvs #mybabyv2.pvs #mybabyv3-nonnarcissist.pvs #one.pvs #prop_logic.pvs #sum-tut.pvs