News
Blog
Projects
People
Colloquia
Meetings
Internal
Get Involved
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