source: examples/python_tests/partial_proof_rt1 @ c3c73bd

Name	Size	Rev	Age	Author	Last Change
../
attr.py	4.7 KB ​	da73657	12 years	Mei	1) example for partial proof
dump_db.py	430 bytes ​	da73657	12 years	Mei	1) example for partial proof
query.py	4.8 KB ​	da73657	12 years	Mei	1) example for partial proof
README	1.7 KB ​	da73657	12 years	Mei	1) example for partial proof
rocket.save	2.9 KB ​	a59bc06	12 years	Mei	1) tweak partial proof's example output
run_test	758 bytes ​	da73657	12 years	Mei	1) example for partial proof
setup.py	921 bytes ​	da73657	12 years	Mei	1) example for partial proof

Property mode set to 040000