Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
Isabelle Newbie
Isabelle Newbie has asked
5
questions and find answers to
39
problems.
Stats
806
EtPoint
215
Vote count
5
questions
39
answers
About
Interested in software verification and theorem proving. The more automation the better.
Isabelle Newbie questions
Using dependent types in Coq (safe nth function)
Coq's mathematical proof language: Rewriting in if condition
Optimized CLP(FD) solver for number board puzzle
Read text stream codepoint by codepoint
Isabelle Newbie answers
Extract Facts as Matrix in Prolog
Variable bin packing problem with Prolog (CLP)
Prolog implementation of Quine's algorithm for classical propositional logic (in Quine's "Methods of Logic")
Unexpected result for predicate nb_setarg/3
How can Prolog derive nonsense results such as 3 < 2?
About building a list until it meets conditions
Arithmetics in Prolog, represent a number using powers of 2
Combining two lists in prolog
How to call proof asistant Coq from external software
Cryptogram Puzzle with Prolog CLPFD
Menu
