Pages that link to "Lean (proof assistant)"
Showing 50 items.
- Artificial intelligence (links | edit)
- DirectX (links | edit)
- Functional programming (links | edit)
- GW-BASIC (links | edit)
- Hilbert's basis theorem (links | edit)
- Presburger arithmetic (links | edit)
- Static program analysis (links | edit)
- Side effect (computer science) (links | edit)
- VBScript (links | edit)
- Visual Basic for Applications (links | edit)
- Type theory (links | edit)
- Abstract interpretation (links | edit)
- List of programming languages by type (links | edit)
- List of programming languages (links | edit)
- Isabelle (proof assistant) (links | edit)
- Program analysis (links | edit)
- Microsoft Visual C++ (links | edit)
- Hoare logic (links | edit)
- Division by zero (links | edit)
- Cons (links | edit)
- Visual Basic (.NET) (links | edit)
- QED manifesto (links | edit)
- F Sharp (programming language) (links | edit)
- An Open Letter to Hobbyists (links | edit)
- Model checking (links | edit)
- Gordon Bell (links | edit)
- Microsoft Comic Chat (links | edit)
- Visual J Sharp (links | edit)
- Nibbles (video game) (links | edit)
- Allegiance (video game) (links | edit)
- Gorillas (video game) (links | edit)
- CodeView (links | edit)
- Sphere eversion (links | edit)
- 3D Movie Maker (links | edit)
- Program slicing (links | edit)
- WiX (links | edit)
- Calculus of constructions (links | edit)
- Windows Calculator (links | edit)
- ASP.NET (links | edit)
- Microsoft Query (links | edit)
- Penny Black (research project) (links | edit)
- Microsoft WebMatrix (links | edit)
- Windows Console (links | edit)
- Windows Forms (links | edit)
- Xbox Development Kit (links | edit)
- Microsoft Visual Studio Express (links | edit)
- New Foundations (links | edit)
- Microsoft Macro Assembler (links | edit)
- IronPython (links | edit)
- Microsoft Blend (links | edit)