View Single Post
Old 2022-04-28, 07:13   #109
SethTro
 
SethTro's Avatar
 
"Seth"
Apr 2019

47410 Posts
Default primecert v2

Michiel had some excellent suggestions about updating the "primecert" column to more than

"C" - certified
"P" - probabilistic
"?" - unverified

In short they suggest adding, P (proven), D (Double checked), T (Trusted submitter) with upper and lower casing to indicate if it's the endpoints (lowercase) or internals (uppercase) that have been proven / verified / taken on trust.

I've added a new page modern-format to the wiki to formalize this change.

Michiel will propose the new text for P/D/T and everyone else is welcome to suggest other changes.

Hope everyone is well and enjoying the spring; My tulips have just bloomed!
SethTro is offline   Reply With Quote