Pinned Repositories
18.821
Repo for simulation for 18.821 Project
6.437
6.837
6.S084-project
analysis
Mathematical Components compliant Analysis Library
bdiehs.github.io
bedrock2
A work-in-progress language and compiler for verified low-level programming
CoqAnalysis
coqutil
Coq library for tactics, basic definitions, sets, maps
cubical
An experimental library for Cubical Agda
bdiehs's Repositories
bdiehs/18.821
Repo for simulation for 18.821 Project
bdiehs/6.437
bdiehs/6.837
bdiehs/6.S084-project
bdiehs/analysis
Mathematical Components compliant Analysis Library
bdiehs/bdiehs.github.io
bdiehs/bedrock2
A work-in-progress language and compiler for verified low-level programming
bdiehs/CoqAnalysis
bdiehs/coqutil
Coq library for tactics, basic definitions, sets, maps
bdiehs/cubical
An experimental library for Cubical Agda
bdiehs/finmap
Finite sets, finite maps, multisets and generic sets
bdiehs/Game
bdiehs/hello-world
bdiehs/hyper-prob
bdiehs/IMOcoq
IMO problems in coq
bdiehs/math-comp
Mathematical Components
bdiehs/metacoq
Metaprogramming in Coq
bdiehs/ParametricInversion.jl
bdiehs/rbgs
Refinement-Based Game Semantics
bdiehs/VSTProgs
Verifying some C programs using VST