adbrucker/isabelle-hacks
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
main
isabelle-hacks/Simple_Oracle/bin
History
Achim D. Brucker 10c0ebcd38
All checks were successful
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