Re: [isabelle-dev] isabelle-dev Digest, Vol 134, Issue 14

calculus or stochastic petri networks for Quantum Biology applications ???  thanks, David Blubaugh On Thursday, July 26, 2018, 6:37:30 AM EDT, José Manuel Rodriguez Caballero wrote: Dear David Blubaugh,  It is interesting that, some days ago, I had a similar idea with respect

[isabelle-dev] Kickstarter Campaign based on Isabelle HOL Technologies

be interested in knowing more on this potential Kickstarter campaign ???   Thanks, David Blubaugh Isabelle HOL user since 2008.   ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

[isabelle-dev] Kick-starter using Isabelle Hol endeavor.....

???  Thanks, David Blubaugh Addicted Isabelle HOL user  ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

[isabelle-dev] Does Isabelle support code generation in C/C++ or maybe even java ???

Does Isabelle support code generation in C/C++ or maybe even java ??? Thanks, David BlubaughElectrical EngineerATR Associate ___ isabelle-dev mailing list isabelle-...@in.tum.de

[isabelle-dev] support for ideas using isabelle hol

Hello,     My name is DAvid Blubaugh.     I want to state that I am in the process of using advanced machine learning techniques to use Isabelle HOL to inspect and develop quality assurance for software applications 1!!   I was wondering if there are any sources of support out there might

[isabelle-dev] CAN CONTROLLER AREA NETWORK

I was wondering if anyone has verified the CAN or controller area network using ISABELLE  ??   David     --- On Mon, 4/30/12, isabelle-dev-requ...@mailbroy.informatik.tu-muenchen.de isabelle-dev-requ...@mailbroy.informatik.tu-muenchen.de wrote: From:

[isabelle-dev] Bayesian statistics

Has anyone ever developed theories with Isabelle HOL regarding Bayesian statistics ??  Thanks, David ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev