Add a Discussion Area for Proof Kit

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.

1 Like

@oceanwest - do you mean followed the documented install steps, or is there more of a tutorial somewhere??