Giters

leanprover / TenCert

Verified tensor compilation in Lean

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Verified tensor compilation in Lean

License:Apache License 2.0

Languages

Language:Lean 100.0%