GitHub / kiranandcode / LeanTeX
Write LaTeX presentations directly from Lean4~
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kiranandcode%2FLeanTeX
PURL: pkg:github/kiranandcode/LeanTeX
Stars: 8
Forks: 0
Open issues: 0
License: None
Language: Lean
Size: 87.9 KB
Dependencies parsed at: Pending
Created at: about 2 months ago
Updated at: about 1 month ago
Pushed at: about 1 month ago
Last synced at: 3 days ago
Loading...