History

Julin S 7129e29061 [sml] add an old program		2024-02-28 13:20:47 +05:30
..
README.org	[vhdl] old files	2023-04-26 22:15:38 +05:30
booleans.pvs	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
factorial.pvs	[sml] add an old program	2024-02-28 13:20:47 +05:30
fadder.pvs	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
fnofix.prf	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
fnofix.pvs	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
mybaby-re.prf	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
mybaby-re.pvs	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
mybaby.prf	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
mybaby.pvs	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
mybabyv2.prf	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
mybabyv2.pvs	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
mybabyv3-nonnarcissist.prf	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
mybabyv3-nonnarcissist.pvs	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
prop_logic.pvs	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
socrates-mortal.prf	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
socrates-mortal.pvs	[pvs] few old files	2023-04-26 22:02:36 +05:30
sum-n.prf	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
sum-n.pvs	[pvs] few old files	2023-04-26 22:02:36 +05:30
sum-n3.pvs	[pvs] few old files	2023-04-26 22:02:36 +05:30
sum-tut.prf	more files including prf files of pvs	2023-05-23 22:25:17 +05:30
sum-tut.pvs	[pvs] few old files	2023-04-26 22:02:36 +05:30

README.org

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