A new way to describe and compute with meaning.
The Leibniz Language is an in-progress project exploring a precise, composable notation for reasoning. There's not much to see here yet — this is a placeholder while the language takes shape.
Coming Soon