Difference between revisions of "Abstract Specification of PKC/Goal"

Latest revision as of 05:12, 29 March 2023

Ensure PKC will be a system that is future-proof and scalable, eliminating design dependencies on existing technologies.

Revision as of 05:11, 29 March 2023 (view source) Benkoo2 (talk \| contribs) ← Older edit		Latest revision as of 05:12, 29 March 2023 (view source) Benkoo2 (talk \| contribs)
Line 1:		Line 1:
	Ensure [[PKC]] will be a system that is future-proof and scalable, eliminating design dependencies on ~~extant data storage, communication, and computation tools while allowing for continuous improvement without jeopardizing the primary function of automating logical correctness evaluation~~.		Ensure [[PKC]] will be a system that is future-proof and scalable, eliminating design dependencies on existing technologies.