lean-dojo/LeanCopilot - Gource visualisation

Channel:
India Gourcer
Subscribers:
3,030
Published on ● Video Link: https://www.youtube.com/watch?v=oDyirpkCno4


Duration: 0:45
32 views
0

Url: https://github.com/lean-dojo/LeanCopilot
Author: lean-dojo
Repo: LeanCopilot

Description: LLMs as Copilots for Theorem Proving in Lean
Starred: 461
Forked: 25
Watching: 10
Total commits: 531
Initial commit: Fri Aug 25 20:42:50 2023 -0700
Total number of files: 44
Total number of lines: 28586



Other Videos By Gourcer


2023-12-15AvaloniaUI/Avalonia - Gource visualisation
2023-12-15Cyfrin/security-and-auditing-full-course-s23 - Gource visualisation
2023-12-15HumanAIGC/OutfitAnyone - Gource visualisation
2023-12-15nishuzumi/pow-erc20 - Gource visualisation
2023-12-14krishnaik06/Roadmap-To-Learn-Generative-AI-In-2024 - Gource visualisation
2023-12-14dreamoving/dreamoving-project - Gource visualisation
2023-12-14microsoft/promptbase - Gource visualisation
2023-12-14wy876/POC - Gource visualisation
2023-12-14open-compass/MixtralKit - Gource visualisation
2023-12-13guoqincode/AnimateAnyone-unofficial - Gource visualisation
2023-12-13lean-dojo/LeanCopilot - Gource visualisation
2023-12-13amitsangani/Llama-2 - Gource visualisation
2023-12-13HuolalaTech/page-spy-web - Gource visualisation
2023-12-13KovenYu/WonderJourney - Gource visualisation
2023-12-12llmware-ai/llmware - Gource visualisation
2023-12-12asset-group/5ghoul-5g-nr-attacks - Gource visualisation
2023-12-12Mintplex-Labs/anything-llm - Gource visualisation
2023-12-12mapup/MapUp-Data-Assessment-F - Gource visualisation
2023-12-12linyiLYi/voice-assistant - Gource visualisation
2023-12-11ast-grep/ast-grep - Gource visualisation
2023-12-11zhyever/PatchFusion - Gource visualisation