最近复习Intuitionistic logic的时候真正注意到standard logic确实很有问题。 比如对于所有的a和所有的b，stan...

https://www.jianshu.com/p/978311125b34

#include #include <vector> #include #include using namespace std; struct...

整数/整数=整数 ex： int x = 1 int y = 4 x/y = 0 程序员何苦和自己过不去......

la partie droite d'une contrainte doit etre constant (i.e. pas de variab...

https://www.cnblogs.com/keanuyaoo/p/3281342.html

generer une cle SSH : ssh-keygen -t rsa rsa pour indiquer l'algorithme ...