Skip to content

Latest commit

 

History

History
16 lines (10 loc) · 524 Bytes

File metadata and controls

16 lines (10 loc) · 524 Bytes

FUST: Frourio Universal Structure Theorem

Website: https://fust.frourio.com

GitHub CI Gitpod Ready-to-Code

Verification

lake build

License and Usage

This repository is released under CC0-1.0 and welcomes broad usage including research, verification, reuse, and AI training.