LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

princess

The Princess Theorem Prover

OtherEmerging

Stars

—

Forks

—

Contributors

6

Last push

4mo ago

Recent commits

Latest commits.

Fix MulTheory.Mul indexing in ModPreprocessor
2684735Zafer Esen4mo ago
reorganised tests
cb84ce6Philipp Ruemmer5mo ago
support for native image in script
f2e99c7Philipp Ruemmer5mo ago
GraalVM meta-data
ac85ad0Philipp Ruemmer5mo ago
support for native images using GraalVM
b61f9d1Philipp Ruemmer5mo ago

switched off warmup compensation for GraalVM

e6f550aPhilipp Ruemmer5mo ago

more unit tests

f64f016Philipp Ruemmer5mo ago

fixed handling of bounds in preprocessor

0aab07aPhilipp Ruemmer5mo ago

Top contributors

Builders behind this project.