You've reached the formalspace wiki. If you have a strong interest in any of this work and want to contribute, please read contributing, and then contact the maintainer.

Project Description
The Expanse The Expanse is a Minecraft multiverse
Elision The Elision term rewriter
Experimental Elision (restricted) An experimental rewrite of Elision
Deixis (restricted) Deixis
MCUM Markov Chain Usage Models
Mons Pico Malware handling
SBS Sequence-Based Specification