Logo
Explore Help
Register Sign In
document/TranslateProject
2
0
Fork 0
You've already forked TranslateProject
mirror of https://github.com/LCTT/TranslateProject.git synced 2026-08-29 04:23:33 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
afb5e3646fae98597f7f76322d68043e5990266d
TranslateProject/sources
History
Xingyu.Wang afb5e3646f Merge pull request #30499 from lujun9972/add-MjAyMzEwMDkgQ29xIGFuZCBMZWFuLSBQb3dlcmZ1bCBJbnRlcmFjdGl2ZSBUaGVvcmVtIFByb3ZlcnMubWQK
选题[tech]: 20231009 Coq and Lean: Powerful Interactive Theorem Provers
2023-11-20 15:09:51 +08:00
..
news
ATRP
2023-11-18 11:39:39 +08:00
talk
选题[talk]: 20230102 AI: An Introduction to Probability
2023-11-20 14:19:00 +08:00
tech
Merge pull request #30499 from lujun9972/add-MjAyMzEwMDkgQ29xIGFuZCBMZWFuLSBQb3dlcmZ1bCBJbnRlcmFjdGl2ZSBUaGVvcmVtIFByb3ZlcnMubWQK
2023-11-20 15:09:51 +08:00
README.md
…

README.md

这里放待翻译的文件。

Reference in New Issue View Git Blame Copy Permalink
Powered by Gitea Version: 1.25.5 Page: 1112ms Template: 8ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API