Software Foundation 学习笔记 Definition : Inductive : 递归定义类型 simpl : 根据定义等自动化简 reflexivity : 等式自反性得证 rewrite : 使用引理重写 2024-03-21 CS #Coq #Formal Verification
Arch Linux 配置/工作流 本文主要介绍桌面环境 (DE) 以及 Windows 应用替代方案,以及一些使用注意事项。 初学者建议阅读 archlinux 简明指南 ArchWiki 并熟悉 Linux 基础操作,本文将不会重复说明此类内容。 pacman 常用命令(待更新 AUR Helper: yay / paru / pamac …… 123456$ pacman -Ss $ pacman -Syy 2024-02-25 #Linux
Python 环境总结 Python Package Management现状以 Arch Linux 为例,默认的包管理器 pacman 基本取代了 pip 的生态位,将系统级 Python Package 纳入包管理,core repo 提供的 Python pip / setuptools 被设置为可选依赖(不默认安装)。 执行 sudo pip install [package] Arch Linux 2024-01-18 CS #Python #conda #venv
Hello World Welcome to Hexo! This is your very first post. Check documentation for more info. If you get any problems when using Hexo, you can find the answer in troubleshooting or you can ask me on GitHub. Quick 2024-01-11