Skip to content
View Fe-r-oz's full-sized avatar
🎯
Focusing
🎯
Focusing
19 followers · 0 following

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: Pull Sharkx2

Block or report Fe-r-oz

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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 (12)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

3 stars written in Rocq Prover
Clear filter

inQWIRE / QuantumLib

Coq library for reasoning about quantum programs

Rocq Prover 40 12 Updated Oct 9, 2025

coq-quantum / CoqQ

Coq 28 4 Updated Dec 29, 2024

rocq-community / tarjan

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

Rocq Prover 18 8 Updated Oct 14, 2025

Starred topics