Skill Developer
Skills Published
1
Total Installs
83+
Avg Rating
4.8
Categories
flyingnobita
Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization. Use when working with Acorn proof files (.ac), verifying theorems, formalizing mathematical or