add a button to execute Lean code block
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 15/100
- Loại issue
- Tính năng
- Độ rõ ràng
- Cần làm rõ
- Mức độ hoạt động
- Đình trệ
- Công nghệ
- tex
- Lĩnh vực
- content
Hướng nghiên cứu
The issue body names no files, tests, or entry points. First clarify the intended presentation format and Lean execution environment, then locate how code blocks are rendered in this TeX presentation repository; done means an agreed button can execute the displayed Lean code reliably.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Issue này không có mô tả.
- Ngôn ngữ chính
- TeX
- Star
- 18
- Fork
- 16
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Chuẩn bị môi trường
Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue tương tự
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 70/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Add: National TV 2Đang mởcheck:passed streams:add
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 70/100
Maintainer thường phản hồi trong vòng 2 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 70/100
eryajf/learning-weekly#169 ·
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 70/100
-
[TV SHOW]: Ghosts (2021)Đang mởrequest-theme
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 85/100
LizardByte/ThemerrDB#9555 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày