vim-lean

(★ 16)

Lean Theorem Prover plugin for Vim.

vim-lean 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

Ventoy ★ 78,865

새로운 부팅 가능 USB 솔루션.

C
system-prompts-and-models-of-ai-tools ★ 142,968

FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, L
yt-dlp ★ 186,032

다기능 명령줄 오디오/비디오 다운로더

Python
playwright ★ 94,899

Playwright는 웹 테스트 및 자동화를 위한 프레임워크입니다. 단일 API로 Chromium, Firefox, WebKit을 테스트할 수 있습니다.

TypeScript
markitdown ★ 175,168

파일 및 오피스 문서를 Markdown으로 변환하는 Python 도구입니다.

Python
mermaid ★ 89,874

마크다운과 유사한 방식으로 텍스트로부터 순서도나 시퀀스 다이어그램 등의 다이어그램을 생성합니다.

TypeScript
// repository documentation