Tag: inductive-datatypes
- Understanding Curry-Howard through Rocq by Audrey Seo (30 September 2024)
Archive
- keyword: austerity
- keyword: automated-testing
- keyword: basics
- keyword: code-formatting
- keyword: community
- keyword: concurrency
- keyword: correcting-falsehoods
- keyword: curry-howard
- keyword: data-reproducibility
- keyword: dragon-curves
- keyword: dsl
- keyword: food
- keyword: garbage-collection
- keyword: holiday
- keyword: inductive-datatypes
- keyword: infinity
- keyword: jit-compiler
- keyword: l-systems
- keyword: level-editor
- keyword: llm
- keyword: lunch
- keyword: model-checking
- keyword: open-science
- keyword: oracle-generation
- keyword: polynomial
- keyword: pretty-printing
- keyword: prompts
- keyword: recursion
- keyword: side-channels
- keyword: software-engineering
- keyword: space
- keyword: speculation
- keyword: testing
- keyword: theorem-proving
- keyword: time
- keyword: ugrad
- keyword: ugrad-research
- keyword: undergraduate-pl
- keyword: video-games
- keyword: visualization
- keyword: weaving
- keyword: accessibility
- keyword: data-reproduction
- keyword: design
- keyword: differential-equation
- keyword: fabrication
- keyword: induction
- keyword: outreach
- keyword: pluggable-types
- keyword: synthesis
- keyword: type-checking
- keyword: verilog
- keyword: website
- keyword: computer-algebra
- keyword: coq
- keyword: culture
- keyword: education
- keyword: knitting
- keyword: rocq
- keyword: satire
- keyword: security
- keyword: type-inference
- keyword: floating-point
- keyword: program-optimization
- keyword: proof-assistant
- keyword: compilers
- keyword: equality-saturation
- keyword: verification
- keyword: hardware