Pinned Repositories
demo
lean4
Lean 4 programming language and theorem prover
learn-vue
使用vue.js搭建个人网站
multi-robot-rrt-exploration-noetic
A platform for executing RRT exploration in ROS Noetic and Ubuntu 20.04LTS
Robotics-Frontier_Exploration
XJTLU_ICS_Y2S2_Course-notes_23-24
Summary of course notes for the second semester of Information and Computing Science (ICS) Sophomores at XJTLU in the 23-24 academic year.
Dawn3305's Repositories
Dawn3305/demo
Dawn3305/lean4
Lean 4 programming language and theorem prover
Dawn3305/learn-vue
使用vue.js搭建个人网站
Dawn3305/Robotics-Frontier_Exploration
Dawn3305/XJTLU_ICS_Y2S2_Course-notes_23-24
Summary of course notes for the second semester of Information and Computing Science (ICS) Sophomores at XJTLU in the 23-24 academic year.