Tag: proof-assistant
- Theorem Proving with Differential Equations by Ryan Zambrotta (02 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: coq
- keyword: design
- keyword: differential-equation
- keyword: dragon-curves
- keyword: fabrication
- keyword: floating-point
- keyword: induction
- keyword: knitting
- keyword: l-systems
- keyword: oracle-generation
- keyword: outreach
- keyword: polynomial
- keyword: pretty-printing
- keyword: rocq
- keyword: security
- keyword: side-channels
- keyword: space
- keyword: synthesis
- keyword: testing
- keyword: time
- keyword: undergraduate-pl
- keyword: weaving
- keyword: website
- keyword: compilers
- keyword: computer-algebra
- keyword: education
- keyword: equality-saturation
- keyword: pluggable-types
- keyword: program-optimization
- keyword: proof-assistant
- keyword: type-checking
- keyword: type-inference
- keyword: verification
- keyword: verilog
- keyword: hardware