威克斯利 源码

你好! :telescope: 我目前正在与大学工作一起使用iOS辅导应用程序GetSkooledLtd。 该应用程序目前处于Beta测试中,因此,如果您有兴趣成为该应用程序的一部分,或者只想查看该应用程序,请与我联系! :seedling: 在大学里,我目前正在学习: 自动推理; 一阶逻辑,高阶逻辑,统一,重写,自然演绎,定理表示并通过Isabelle / HOL进行证明,形式化数学 软件测试; 单元测试,功能测试,组合测试,有限模型,结构测试,数据流模型和测试,测试选择和充分性,变异测试,测试驱动的开发,回归测试,安全测试,集成和基于组件的测试,系统和验收测试,并发测试 计算机安全;