6 Commits

Author	SHA1	Message	Date
moruiris	c41065f593	Update Lean_R3P.yml	2022-12-30 22:29:07 +08:00
moruiris	01af8bc3cb	Update Lean_R3P.yml	2021-11-30 13:30:14 +08:00
moruiris	f8b0d701e6	Update Lean_R3P.yml	2021-11-30 13:25:33 +08:00
moruiris	d53833b16f	Update Lean_R3P.yml	2021-11-24 15:56:14 +08:00
moruiris	c5263f813c	Update Lean_R3P.yml	2021-11-22 16:12:32 +08:00
moruiris	703fa62e6b	Create Lean_R3P.yml	2021-11-22 14:37:37 +08:00