Practal has its first monthly sponsor, many thanks to purebounce! 🎉
Practal is available as a Visual Studio Code extension. Make sure you also have the STIX fonts installed on your system.
NOTE: Practal switched to using the backtick ` instead of the apostrophe ' for syntax category related things. Keep that in mind when trying out old examples! See Foundation.practal, List.practal and Decimal.practal for updated examples.
You can describe an Abstraction Logic theory in a .practal file by:
- Declaring abstractions, and optionally defining them.
- Introducing axioms.
- Providing custom syntax for your abstractions. Practal contains under the hood a full engine for deterministic LR parsing. It is actually quite a lot of fun to play around with your own syntax!
See Practal.com and in particular A First Look at Practal for more information!
This is a pre-α release.
- No proofs, or really any other features except the ones stated above.
- Works only on a single file, there is no possibility to import or include other theories.