Proof assistants | Free theorem provers
In automated theorem proving, PhoX is a proof assistant based on higher-order logic which is eXtensible. The user gives PhoX an initial goal and guides it through subgoals and evidence to prove that goal; internally, it constructs natural deduction trees. Each previously proven formula can become a rule for later proofs. PhoX was originally designed and implemented by in the OCaml programming language. He has continued to lead the current development team, a joint effort of University of Savoy and University Paris VII. The primary aim of the PhoX project creating a user friendly proof checker using the type system developed by at University Paris VII. It is meant to be more intuitive than other systems while remaining extensible, efficient, and expressive. Compared to other systems, the proof-building syntax is simplified and closer to natural language. Other features include GUI-driven proof construction, rendering formatted output, and proof of correctness of programs in the ML programming language. PhoX is currently used to teach logic at Savoy University. It is in an experimental but usable state. It is released under CeCILL 2.0. (Wikipedia).
Homebrew Tutorial: Simplify Software Installation on Mac Using This Package Manager
In this video, we'll be learning how to use the Homebrew Package Manager on MacOS. Brew allows us to easily install command-line tools with a simple command. We can also install native applications for Mac using Brew Cask. I often use these commands in scripts to install a lot of new softw
From playlist Linux/Mac Tutorials
Shaping the Future of Java, Faster
The Java SE Platform and the JDK have moved to a rapid, six-month release cadence, with the Java 11 release in September 2018 and the next release later in March 2019. We’ll review the motivations for this change and discuss how this impacts users. EVENT: Meetupvideo United Kingdom 2019
From playlist Java
Inspired by http://www.youtube.com/watch?v=PQOjkuJtBfM
From playlist Projects & Installations
5 Best Practices In DevOps Culture | What is DevOps? | Edureka
🔥𝐄𝐝𝐮𝐫𝐞𝐤𝐚 𝐃𝐞𝐯𝐎𝐩𝐬 𝐏𝐨𝐬𝐭 𝐆𝐫𝐚𝐝𝐮𝐚𝐭𝐞 𝐏𝐫𝐨𝐠𝐫𝐚𝐦 𝐰𝐢𝐭𝐡 𝐏𝐮𝐫𝐝𝐮𝐞 𝐔𝐧𝐢𝐯𝐞𝐫𝐬𝐢𝐭𝐲: https://www.edureka.co/executive-programs/purdue-devops This tutorial explains what is DevOps. It will help you understand some of its best practices in DevOps culture. This video will also provide an insight into how different
From playlist Webinars by Edureka!
Physics experiments Hydrostatic pressure (science demonstrations)
Physics (la physique)
From playlist PRESSURE
Creating a chat bot with Rust part 3
I'm streaming every weekday morning on Twitch at https://www.twitch.tv/brookzerker. Please feel free to stop by and say hi! Links My code: https://github.com/BrooksPatton/rusty-chatbot-server The Learning Wiki: https://github.com/BrooksPatton/learning-rust/wiki Twitter: https://twitter.c
From playlist rust programming