Update README.md
Browse files
README.md
CHANGED
|
@@ -29,6 +29,10 @@ Our group maintains various datasets and models specifically designed for Lean4
|
|
| 29 |
|
| 30 |
- **LuoTao**
|
| 31 |
- Email: [[email protected]](mailto:[email protected])
|
|
|
|
|
|
|
|
|
|
|
|
|
| 32 |
|
| 33 |
## Contact
|
| 34 |
For collaboration inquiries or questions about our research, please feel free to reach out to us through:
|
|
|
|
| 29 |
|
| 30 |
- **LuoTao**
|
| 31 |
- Email: [[email protected]](mailto:[email protected])
|
| 32 |
+
|
| 33 |
+
- **Xinze Wu**
|
| 34 |
+
- Email: [[email protected]](mailto:[email protected])
|
| 35 |
+
- GitHub: [XinzeWu](https://github.com/XinzeWu)
|
| 36 |
|
| 37 |
## Contact
|
| 38 |
For collaboration inquiries or questions about our research, please feel free to reach out to us through:
|