GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — GitHub - active-group/fm: iSAQB Advanced Formal Methods @ Active Group
BranchesTags
Open more actions menu

Latest commit

 

History

21 Commits
21 Commits

Folders and files

NameName
Last commit message
Last commit date
acl2
acl2
 
 
forge
forge
 
 
haskell-code
haskell-code
 
 
idris
idris
 
 
isabelle
isabelle
 
 
liquid-haskell
liquid-haskell
 
 
slides
slides
 
 
verifast
verifast
 
 
z3
z3
 
 
.gitignore
.gitignore
 
 
README.md
README.md
 
 
cabal.project
cabal.project
 
 
flake.lock
flake.lock
 
 
flake.nix
flake.nix
 
 

Repository files navigation

Benutzte Software

  • Z3
  • VeriFast
  • Haskell/GHCup
  • Isabelle

Artikel zum Thema

z3

  • https://funktionale-programmierung.de/2026/02/10/z3-theorembeweiser-1.html
  • https://funktionale-programmierung.de/2026/03/20/z3-theorembeweiser-2.html

Description Logic und Ontologien

  • Introduction to Description Logic
  • Basic Description Logics
  • Protégé

QuickCheck

  • Port von QuickCheck nach F#: FsCheck
  • Beispiel in F#

About

iSAQB Advanced Formal Methods @ Active Group

Resources

Readme
Activity
Custom properties

Stars

2 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

Packages

Contributors

Languages
You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.