Writing Proof with Witch
An Article About using Witch
Tutorials
A place to show off plently of examples and tutorials about Juvix
A place to see all kinds of tutorials about Juvix
Multi-Bear Domicile Setup
A short lead description about this content page. It can be bold or italic and can be split over multiple paragraphs.
Another Tutorial
A short lead description about this content page. It can be bold or italic and can be split over multiple paragraphs.
Syntax-Guide
A tutorial on the Current Syntax
Last modified
May 20, 2021
: moved files to be more consistent in regards to how internal links work (e57f33b)