欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Launch4j 可以方便的将 Java 应用程序包装成 Windows 本地可执行文件（.EXE)，提供更好的用户体验。
原理
基本设置
Header
JRE设置
启动画面
版本
