What is cosh(List(Bool))? Or beyond algebra: analysis of data types (via eBPF) — discussion
#formalmethods #math
