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

#formalmethods #math