upload Goedel-Prover-LifeScience-AtomGit

Star11

Star11

已开启

upload Goedel-Prover #15

xiaolingling_8909创建于 7月23日从xiaolingling_8909/LifeScience_xll： main 合入到 AI4Science/LifeScience： main

upload Goedel-Prover #15

已开启

xiaolingling_8909创建于 7月23日

从xiaolingling_8909/LifeScience_xll main合入到AI4Science/LifeScience main

xiaolingling_8909成员

7月23日

7月23日

upload Goedel-Prover

合并受阻

xiaolingling_8909成员

7月28日强制推送 1 个提交:f5948f1f-upload Goedel-Prover

7月28日强制推送 1 个提交:f5948f1f-upload Goedel-Prover