isabelle-client

A client to Isabelle proof assistant server

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install isabelle-client

Dependencies

PyPI page
pypi.org/project/isabelle-client
Project JSON
piwheels.org/project/isabelle-client/json
Versions
66
Files
63
Downloads (all time)
loading...
Downloads (last 30 days)
loading...

Releases

Version Released Bookworm
Python 3.11		 Trixie
Python 3.13		 Files
1.1.2 2026-06-20    
1.1.1 2026-05-03    
1.1.0 2026-03-19    
1.0.2 2026-02-16
1.0.1 2025-12-14    
1.0.0 2025-11-09    
0.6.0 2025-10-07    
0.5.9 2025-08-30    
0.5.7 2025-06-28    
0.5.6 2025-05-29    
0.5.5 2025-04-13    
0.5.4 2025-03-09    
0.5.3 2025-01-25    
0.5.2 2024-12-20    
0.5.1 2024-11-16    
0.5.0 2024-07-06  
0.4.11 2024-07-06    
0.4.9 2024-04-02    
0.4.7 2024-02-01    
0.4.6 2023-12-29    
0.4.5 2023-11-26    
0.4.3 2023-09-27    
0.4.2 2023-08-28
0.4.1 2023-07-29
0.4.0 2023-06-29
0.3.17 2023-05-29
0.3.16 2023-04-29
0.3.15 2023-03-29
0.3.14 2023-02-27
0.3.13 2023-01-28
0.3.12 2022-12-29
0.3.11 2022-11-28
0.3.10 2022-10-29
0.3.9 2022-09-29
0.3.8 2022-08-30
0.3.7 2022-08-24
0.3.6 2022-08-04
0.3.5 2022-04-24
0.3.4 2022-04-12
0.3.3 2022-03-13
0.3.2 2022-02-10
0.3.1 2022-01-10
0.3.0 2021-12-12    
0.2.10 2021-11-12    
0.2.9 2021-10-13
0.2.8 2021-09-13
0.2.7 2021-08-14
0.2.5 2021-07-15
0.2.4 2021-06-14
0.2.3 2021-06-08
0.2.2 2021-05-09
0.2.1 2021-04-09
0.2.0 2021-03-12
0.1.5 2021-03-12
0.1.4 2021-03-10
0.1.3 2021-03-09
0.1.2 2021-03-03
0.1.1 2021-03-02
0.1.0 2021-02-26
0.0.7 2021-02-26
0.0.6 2021-02-25
0.0.5 2021-02-23
0.0.4 2021-02-22
0.0.3 2021-02-21
0.0.2 2021-02-20
0.0.1 2021-02-20

Issues with this package?

Key

Build succeeded
Build failed
Build skipped
Build pending
Build succeeded; file since deleted

Page last updated 2026-09-03 08:53:25 UTC