argumentcomputer/Wasm.lean
Xem trên GitHubA WebAssembly implementation in Lean4
- Star
- 48
- Fork
- 6
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 11
- Ngôn ngữ chính
- Lean
- Giấy phép
- MIT
- Lần push lên GitHub gần nhất
- 13/12/2023
- Lập chỉ mục gần nhất
- 14/9/2026
- Hướng dẫn đóng góp
- Không có hướng dẫn đóng góp
- Quy tắc ứng xử
- Không có quy tắc ứng xử
- Label cho người mới
- Chưa lập chỉ mục label nào cho người mới
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
-
argumentcomputer/Wasm.lean#15 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Wasm.lean#25 · 2 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Wasm.lean#26 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Wasm.lean#27 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Safety: Bit sizes and overflows Đang mở
argumentcomputer/Wasm.lean#37 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Wasm.lean#47 · 1 bình luận · 0 reaction · 0 người được giao ·
-
lowpriority
argumentcomputer/Wasm.lean#54 · 0 bình luận · 0 reaction · 0 người được giao ·
-
lowpriority
argumentcomputer/Wasm.lean#59 · 0 bình luận · 0 reaction · 0 người được giao ·
-
lowpriority
argumentcomputer/Wasm.lean#61 · 0 bình luận · 0 reaction · 0 người được giao ·
-
highpriority
argumentcomputer/Wasm.lean#66 · 0 bình luận · 0 reaction · 0 người được giao ·
-
epic
argumentcomputer/Wasm.lean#67 · 0 bình luận · 0 reaction · 0 người được giao ·