Skip to content
View wildsebastian's full-sized avatar
18 followers · 20 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report wildsebastian

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.

Stars

5 stars written in Coq
Clear filter

jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

Coq 748 69 Updated Sep 18, 2024

mit-plv / fiat

Mostly Automated Synthesis of Correct-by-Construction Programs

Coq 147 31 Updated Sep 17, 2024

Lysxia / advent-of-coq-2018

Advent of Code 2018, in Coq! (https://adventofcode.com/2018)

Coq 139 8 Updated Feb 2, 2019

verse-lab / ceramist

Verified hash-based AMQ structures in Coq

Coq 122 5 Updated Apr 13, 2020

sigurdschneider / lvc

LVC verified compiler

Coq 57 2 Updated Nov 1, 2018