Tag: proof-assistant

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