SOL/examples/family.sol, branch master interval characterization proofs and worked examples 2026-07-12T20:56:11+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-07-12T13:20:13+00:00 b7ab0a9d1f0275db32a526faf7cffe9d520b15c8