The Sanskrit Reader Companion

Show Summary of Solutions

Input: vidyate hi giriśreṣṭhe tridaśānāṃ samāgamaḥ

Sentence: विद्यते हि गिरिश्रेष्ठे त्रिदशानाम् समागमः
may be analysed as:


Solution 39 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samāgamaḥ
[samāgama]{m. sg. nom.}
|⟩]


Solution 48 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samāgamaḥ
[samāgama]{m. sg. nom.}
|⟩]


Solution 57 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samāgamaḥ
[samāgama]{m. sg. nom.}
|⟩]


Solution 66 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samāgamaḥ
[samāgama]{m. sg. nom.}
|⟩]


4 solutions kept among 72
Filtering efficiency: 95%

Additional candidate solutions

Solution 4 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 7 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 13 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 16 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 22 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 25 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 31 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 34 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 37 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 38 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 40 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 43 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 46 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 47 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 49 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 52 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 55 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 56 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 58 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 61 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 64 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 65 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 67 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 70 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]




Le chameau Ocaml
Top | Index | Grammar | Sandhi | Reader | Corpus
© Gérard Huet 1994-2024
Logo Inria