live, laugh, formally verify using dependent types

ID: 1480637548519120903

calendar_today10-01-2022 20:28:06