FloatingPragma/observer-patch-holography
@FloatingPragmaPenelitian terbuka tentang konsistensi pengamat-terbatas dalam fisika: Teorema dan lemma yang diperiksa Lean, simulasi yang dapat direproduksi, model tandingan eksplisit, dan jembatan fisik terbuka yang dilacak dengan jelas.
Bintang
738
Fork
95
Bahasa
Python
Lisensi
NOASSERTION
Push terakhir
14 jam yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.