Login
Roast topics
Find topics
Find it!
From:
METASTATE
(Uncensored)
subscribe
An introduction to Witch
https://research.metastate.dev/an-introduction-to-witch/
links
backlinks
Tagged with:
plt
Roast topics
Find topics
Roast it!
The Juvix team created the project Witch. Witch combines different proof strategies to enable users to profit from proof assistants without an in-depth understanding of the theory behind it
