Chuyển tới nội dung chính
buildradar
Đăng nhập

openai/NavierStokesAndEuler

@openai

Lean certificates accompanying Navier-Stokes and Euler results

Sao
1.802
Fork
179
Ngôn ngữ
Lean
Giấy phép
Apache-2.0
Push gần nhất
2 ngày trước
Lean

Chưa có intel liên quan

Kho mã này chưa xuất hiện trong bất kỳ nguồn nào radar theo dõi. Bộ thu thập chạy theo lịch — hãy quay lại khi nó bao quát kho mã này.