adbrucker
/
isabelle-hacks
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
isabelle-hacks/Simple_Oracle/bin
History
Achim D. Brucker 10c0ebcd38
ci/woodpecker/push/build Pipeline was successful Details
Initial commit: example of a simple external oracle. 		2022-03-21 06:50:23 +00:00
..
oracle Initial commit: example of a simple external oracle. 2022-03-21 06:50:23 +00:00