https://github.com/leanprover/tencert

Verified tensor compilation in Lean
https://github.com/leanprover/tencert

Last synced: 3 months ago
JSON representation

Verified tensor compilation in Lean

• Host: GitHub
• URL: https://github.com/leanprover/tencert
• Owner: leanprover
• License: apache-2.0
• Created: 2024-09-20T12:52:58.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2025-06-05T14:59:35.000Z (12 months ago)
• Last Synced: 2026-01-21T13:12:49.917Z (4 months ago)
• Language: Lean
• Homepage:
• Size: 12.7 KB
• Stars: 7
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Codeowners: .github/CODEOWNERS

Awesome Lists containing this project

README

          
# TenCert

This is currently a meta-package for the various TenCert components.

* [SHerLOC](https://github.com/leanprover/SHerLOC)

* [KLR](https://github.com/leanprover/KLR)

* [TensorLib](https://github.com/leanprover/TensorLib)