Skip to main content
Seasoned Advice
Isabelle Newbie's user avatar
Isabelle Newbie's user avatar
Isabelle Newbie's user avatar
Isabelle Newbie
  • Member for 7 years, 4 months
  • Last seen more than 3 years ago
Profile Activity
Stats
173
reputation
5k
reached
0
answers
1
question
Communities
View all
About

Interested in software verification and theorem proving. The more automation the better.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
7
What's the role of bread in pickling cucumbers?
Aug 11, 2017
Top network posts
View all network posts
38
swipl: how to reload file
11
Why is [] = _. true in Prolog?
10
Connect Kobo Touch to Linux PC using USB; PC not recognized by reader
8
How to use call_with_depth_limit/3
8
Read text stream codepoint by codepoint