torchlean

Here are 2 public repositories matching this topic...

Structured runtime profiling for Lean4 code, with nested spans, Perfetto traces, regression checks, and optional TorchLean integration.

code profiler verification pytorch lean lean4 torchlean

Weekly TorchLean examples with checked Lean proofs, CUDA certificates, and reproducible ML verification demos.

To associate your repository with the torchlean topic, visit your repo's landing page and select "manage topics."