Giters

fgdorais / tup

A function-based implementation of tuples for Lean

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

tup

A function-based implementation of tuples for Lean.

About

A function-based implementation of tuples for Lean

License:Apache License 2.0

Languages

Language:Lean 100.0%