leanprover-community/lean-liquid

💧 Liquid Tensor Experiment

LeanOther
This is stars and forks stats for /leanprover-community/lean-liquid repository. As of 28 Mar, 2024 this repository has 136 stars and 11 forks.

Liquid Tensor Experiment For the eponymous blogpost by Peter Scholze which started it all: see https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/. The main aim of this community-owned repository is to digitise some mathematical definitions, theorem statements and theorem proofs. Digitisation, or formalisation, is a process where the source material, typically a mathematical textbook or a pdf file or website or video, is transformed into definitions in a target system consisting...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
revarbat/BOSL2OpenSCADOther616+1870
jaredtao/TaoQuickQMLPowerShellCMake1.2k03130
tidymodels/TMwRRMarkdownRTeX53702320
twitter/scroogeScalaJavaMustache78002550
CBATeam/CBA_A3SQFC++Pawn35001430
TheBloodthirster/BUAA_Course_SharingMathematicaJavaMATLAB1.1k+6245+3
NixOS/nixos-hardwareNixRubyPython1.2k+9422+5
robbiehanson/CocoaAsyncSocketObjective-CSwiftOther12.4k03k0
joeldev/JLRoutesObjective-COther5.7k+17030
zoontek/react-native-permissionsObjective-CTypeScriptJava3.7k08110