Can we add a category for ProofKit.
I impressed myself I went thru the entire tutorial and launched the sample connected to one of my servers.
Can we add a category for ProofKit.
I impressed myself I went thru the entire tutorial and launched the sample connected to one of my servers.
I’m glad you’re excited about it! I put together a new Category for it here.
@oceanwest - do you mean followed the documented install steps, or is there more of a tutorial somewhere??