FloatingPragma/observer-patch-holography
@FloatingPragma物理学における有限観測者一貫性に関するオープンリサーチ：Leanで検証された定理と補題、再現可能なシミュレーション、明示的な反モデル、および明確に追跡された未解決の物理的架け橋。
スター
739
フォーク
95
言語
Python
ライセンス
NOASSERTION
最終プッシュ
2 時間前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。