18 lines
321 B
Org Mode
18 lines
321 B
Org Mode
#+TITLE: 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
|
|
|