Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
Q.Yang
Q.Yang has asked
22
questions and find answers to
0
problems.
Stats
110
EtPoint
0
Vote count
22
questions
0
answers
About
Q.Yang questions
Is there a way to get a complete list of all kinds of operators/constructors of Isabelle?
In Isabelle, how to print the state (i.e. subgoals to prove) in other formats (like S-expression, Json format...)?
Q.Yang answers
Menu
