Popular repositories Loading

1. LeanInterface LeanInterface Public

   An interface for Lean4 that accepts handwritten input.

   HTML 1

2. first-contributions first-contributions Public

   Forked from firstcontributions/first-contributions

   🚀✨ Help beginners to contribute to open source projects

3. PrimeNumberTheoremAnd PrimeNumberTheoremAnd Public

   Forked from AlexKontorovich/PrimeNumberTheoremAnd

   blueprint for prime number theorem and more

   Lean

4. TenSEAL TenSEAL Public

   Forked from OpenMined/TenSEAL

   A library for doing homomorphic encryption operations on tensors

   C++

5. FLT FLT Public

   Forked from ImperialCollegeLondon/FLT

   Ongoing Lean formalisation of the proof of Fermat's Last Theorem

   Lean

6. damn-vulnerable-defi-sols damn-vulnerable-defi-sols Public

   Forked from theredguild/damn-vulnerable-defi

   My sols for Damn Vulnerable DeFi

   Solidity