functional_programming_in_lean icon indicating copy to clipboard operation
functional_programming_in_lean copied to clipboard

A book about functional programming in Lean

Results 0 functional_programming_in_lean issues
Sort by recently updated
recently updated
newest added