ADAM / SYSTEM01

My projects.

Developer tools, consumer apps, and a few math experiments.

Theoremis interface

01 / SELECTED WORK↗

Theoremis

From a handwritten idea to a verifiable proof.

FORMAL MATHEMATICS / DEVELOPER TOOLS

Overlappd interface

02 / SELECTED WORK↗

Overlappd

Discovery that starts with what you mean.

DISCOVERY / CONSUMER PRODUCTS

03 / SELECTED WORK↗

ADAM / SYSTEM

This website, and a place to try things out.

PERSONAL SITE / INTERACTIVE MATH

See the code ↗

Adam Ouksili — Computer Science × Mathematics at Rutgers University. Contact Adam · Theoremis · Overlappd. Enable JavaScript to explore the interactive lab.