Tag: coq
- Understanding Curry-Howard through Rocq by Audrey Seo (30 September 2024)
- Working with Equivalent Definitions in Rocq by Anjali Pal (19 August 2024)
Archive
- keyword: accessibility
- keyword: automated-testing
- keyword: code-formatting
- keyword: compiler
- keyword: curry-howard
- keyword: data-reproducibility
- keyword: data-reproduction
- keyword: design
- keyword: differential-equation
- keyword: dragon-curves
- keyword: fabrication
- keyword: induction
- keyword: inductive-datatypes
- keyword: l-systems
- keyword: open-science
- keyword: oracle-generation
- keyword: outreach
- keyword: polynomial
- keyword: pretty-printing
- keyword: security
- keyword: side-channels
- keyword: space
- keyword: synthesis
- keyword: testing
- keyword: theorem-proving
- keyword: time
- keyword: ugrad
- keyword: ugrad-research
- keyword: undergraduate-pl
- keyword: weaving
- keyword: website
- keyword: compilers
- keyword: computer-algebra
- keyword: coq
- keyword: education
- keyword: equality-saturation
- keyword: floating-point
- keyword: knitting
- keyword: pluggable-types
- keyword: program-optimization
- keyword: rocq
- keyword: type-checking
- keyword: type-inference
- keyword: verification
- keyword: verilog
- keyword: proof-assistant
- keyword: hardware