Explore projects

The evolving specification for Alethe, a flexible format for SMT proofs.

Python Agrivoltaics Simulation Environment (PASE)

Thesis : https://hdl.handle.net/2268/326176

Paper: https://doi.org/10.1007/s10457-024-01090-8

Documentation in the wiki

Converts profilometry data from a Veeco Wyko (saved in the ASC format) into something readable by another software. Also provides data pre-processing.