Projects tagged with proof-assistant

agda Last built 14 hours ago		latest #24319416 latest #24319416 14 hours ago 761869c5 95 seconds
CORE-verifier Last built 2 months, 2 weeks ago		latest #23547765 latest #23547765 2 months, 2 weeks ago 1 seconds
opetopy Last built 4 years, 10 months ago		latest #9250523 latest #9250523 4 years, 10 months ago ad5deee2 54 seconds
punctilious Last built 2 days, 6 hours ago		latest #24298077 latest #24298077 2 days, 6 hours ago 1223c7dd 39 seconds
RedPRL Last built 5 years, 5 months ago		latest #8081843 latest #8081843 5 years, 5 months ago 4b13acd6 41 seconds